OrdersEx.String_as_OT
type t = string
val eqb : string -> string -> bool
val eq_dec : string -> string -> bool
val compare : string -> string -> Datatypes.comparison