Module Split_branch.Label

type t =
  1. | Constant of {
    1. location : Beluga_syntax.Syncom.Location.t;
    2. identifier : Beluga_syntax.Syncom.Qualified_identifier.t;
    }
  2. | Bound_variable of {
    1. location : Beluga_syntax.Syncom.Location.t;
    }
  3. | Empty_context of {
    1. location : Beluga_syntax.Syncom.Location.t;
    }
  4. | Extended_context of {
    1. location : Beluga_syntax.Syncom.Location.t;
    2. schema_element : Support.Int.t;
      (*

      1-based

      *)
    }
  5. | Parameter_variable of {
    1. location : Beluga_syntax.Syncom.Location.t;
    2. schema_element : Support.Int.t;
      (*

      1-based

      *)
    3. projection : Support.Int.t Support.Option.t;
      (*

      1-based

      *)
    }