Step.Digest
type t = Impl.Field.t
val to_bits : t -> Impl.Boolean.var list
module Unsafe : sig ... end
module Constant : sig ... end
val typ : ( t, ( int64, Pickles_types.Nat.N4.n ) Pickles_types.Vector.vec ) Impl.Typ.t