Make.Digest
type var = Impl.Field.Var.t
module Unpacked : sig ... end
type t = Impl.Field.t
val typ : ( var, t ) Impl.Typ.t
val choose_preimage : var -> Unpacked.var Impl.Checked.t