sig
  val default : 'a option -> '-> 'a
  val deftrue : bool option -> bool
  val deffalse : bool option -> bool
end