module Make_StmtMapState: functor (Info : sig val name : stringend) -> sig .. end
functor (
Info
:
sig
val name : string
string
end) -> sig .. end
end
) ->
sig val name: string end
module D: Datatype
Datatype
include struct ... end
val set : data -> unit
data -> unit