module type Value : sig ... end
module type S : sig ... end
module Make : functor (V : Value) -> S with type value := V.value
module Of_strings : sig ... end
module Of_floats : sig ... end
module Of_ints : sig ... end
module Of_bools : sig ... end