Functor Lattice.Boolean


module Boolean: 
functor (Str : sig
val true_str : string
val false_str : string
end) -> sig .. end
Parameters:
Str : sig val true_str: string val false_str: string end

module B: sig .. end
include struct ... end