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