Forest.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 : Tree.Checked.t -> t -> t