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