sig val classify : unit -> unit end