Module `Call_stack_digest.Checked`

type t = private Pickles.Impls.Step.Field.t

val if_ : Pickles.Impls.Step.Boolean.var -> then_:t -> else_:t -> t

val equal : t -> t -> Pickles.Impls.Step.Boolean.var

module Assert : sig ... end

val cons : Stack_frame.Digest.Checked.t -> t -> t