Digest (pickles.Pickles.Step

type t = Step_main_inputs.Impl.Field.t

val to_bits : t -> Step_main_inputs.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 )
    Step_main_inputs.Impl.Typ.t