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