sig val print : unit -> unit end