sig
val
e : bool
val
f :
'
a
->
'
b
->
bool
val
compose : bool
->
bool
->
bool
end