Up – Package index » Herdtools7 » Library herdtools7.asllib » Asllib » StaticInterpreter » Normalize » AtomOrdered

Module `Normalize.AtomOrdered`Source

Sourcetype t = atom

Sourceval compare : String.t -> String.t -> int