module type S : Ecaml__.Valueable0.S with type a type_ := a Ecaml.Value.Type.t
module type S1 : Ecaml__.Valueable0.S1 with type a type_ := a Ecaml.Value.Type.t
module type Valueable : sig ... end