sig type a = bool val default : unit -> a end