module Comp_unused: sig .. end
sig
end
Compositional_bool
Hptmap.Make
val e : bool
bool
val f : 'a -> 'b -> bool
'a -> 'b -> bool
val compose : bool -> bool -> bool
bool -> bool -> bool