Appearance
gillian
Gillian
Utils
Compare
Utils.Compare
type comparison =
| Gt
| Lt
| Eq
val cmp : 'a -> 'a -> comparison