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