module type S_eval : sig ... end
type 'a value
= 'a
module type S_lang : sig ... end
module type S : sig ... end
module type S_binable : sig ... end