OrderTac.TO
type t = string
val compare : string -> string -> Datatypes.comparison
val eq_dec : string -> string -> bool