Checked.3-Elt
type var
type value
val typ : ( var, value ) Impl.Typ.t
val hash : var -> Hash.var Impl.Checked.t