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