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