module type String_datatype = sig .. end
sig
end
include Datatype.S
val of_string : string -> t
string -> t
Cannot_build
val to_string : t -> string
t -> string