Module OrdersEx.Ascii_as_OT

val compare : char -> char -> Datatypes.comparison