Module Totality.Order

Totality argument orderings for totality-checking.

type 'a t =
  1. | Argument of {
    1. location : Syncom.Location.t;
    2. argument : 'a;
    }
  2. | Lexical_ordering of {
    1. location : Syncom.Location.t;
    2. arguments : 'a t Support.List1.t;
    }
  3. | Simultaneous_ordering of {
    1. location : Syncom.Location.t;
    2. arguments : 'a t Support.List1.t;
    }