sig val parse : string -> string * string * string * string val compare : string -> string -> int val equal : string -> string -> bool end