Module Totality.Order

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