Module Utils.Compare

Convenience function for comparison

Returns a variant that can easily be matched against

type comparison = Gillian.Utils.Compare.comparison =
  1. | Gt
  2. | Lt
  3. | Eq
val cmp : 'a -> 'a -> comparison