module Boolean: functor (Str : sigval true_str : stringval false_str : stringend) -> sig .. end
functor (
Str
:
sig
val true_str : string
string
val false_str : string
end
) ->
sig val true_str: string val false_str: string end
module B: sig .. end
include struct ... end