Module Comp.Sort_object

Computational kinds and types blurred together.

type t =
  1. | Raw_identifier of {
    1. location : Beluga_syntax.Syncom.Location.t;
    2. identifier : Beluga_syntax.Syncom.Identifier.t;
    3. prefixed : Stdlib.Bool.t;
    }
  2. | Raw_qualified_identifier of {
    1. location : Beluga_syntax.Syncom.Location.t;
    2. identifier : Beluga_syntax.Syncom.Qualified_identifier.t;
    3. prefixed : Stdlib.Bool.t;
    }
  3. | Raw_ctype of {
    1. location : Beluga_syntax.Syncom.Location.t;
    }
  4. | Raw_pi of {
    1. location : Beluga_syntax.Syncom.Location.t;
    2. parameter_identifier : Beluga_syntax.Syncom.Identifier.t Support.Option.t * [ `Plain | `Hash | `Dollar ];
    3. parameter_sort : Synprs__.Synprs_definition.Meta.Thing.t Support.Option.t;
    4. plicity : Beluga_syntax.Syncom.Plicity.t;
    5. body : t;
    }
  5. | Raw_arrow of {
    1. location : Beluga_syntax.Syncom.Location.t;
    2. domain : t;
    3. range : t;
    4. orientation : [ `Forward | `Backward ];
    }
  6. | Raw_cross of {
    1. location : Beluga_syntax.Syncom.Location.t;
    2. operands : t Support.List2.t;
    }
  7. | Raw_box of {
    1. location : Beluga_syntax.Syncom.Location.t;
    2. boxed : Synprs__.Synprs_definition.Meta.Thing.t;
    }
  8. | Raw_application of {
    1. location : Beluga_syntax.Syncom.Location.t;
    2. objects : t Support.List2.t;
    }