sig val synthe : unit -> unit end