module Type: sig .. end
sig
end
type 'a t
'a
val create : (string -> 'a) -> 'a t
(string -> 'a) -> 'a t
val bool : bool t
bool t
val int : int t
int t
val float : float t
float t