sig val all : unit -> string list val register : string -> unit end