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