Checked.2-Hash
type var
type value
val typ : ( var, value ) Impl.Typ.t
val merge : height:int -> var -> var -> var Impl.Checked.t
val if_ : Impl.Boolean.var -> then_:var -> else_:var -> var Impl.Checked.t
val assert_equal : var -> var -> unit Impl.Checked.t