Make.4-Message
type value
val sexp_of_value : value -> Ppx_sexp_conv_lib.Sexp.t
val value_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> value
type var
val typ : ( var, value ) Impl.Typ.t
val hash_to_group : value -> Group.t
module Checked : sig ... end