sig module Register : sig val print : unit -> unit end end