Module Split_branch.Label

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

      1-based

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

      1-based

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

      1-based

      *)
    }