L.MX
module TO : sig ... end
module IsTO : sig ... end
module OrderTac : sig ... end
val eq_dec : string -> string -> bool
val lt_dec : string -> string -> bool
val eqb : string -> string -> bool