sig val default : unit -> bool val merge : bool -> bool -> bool end