Module Signature.Pragma

type t =
  1. | Name of {
    1. location : Beluga_syntax.Syncom.Location.t;
    2. constant : Beluga_syntax.Syncom.Qualified_identifier.t;
    3. meta_variable_base : Beluga_syntax.Syncom.Identifier.t;
    4. computation_variable_base : Beluga_syntax.Syncom.Identifier.t Support.Option.t;
    }
  2. | Default_associativity of {
    1. location : Beluga_syntax.Syncom.Location.t;
    2. associativity : Beluga_syntax.Syncom.Associativity.t;
    }
  3. | Prefix_fixity of {
    1. location : Beluga_syntax.Syncom.Location.t;
    2. constant : Beluga_syntax.Syncom.Qualified_identifier.t;
    3. precedence : Support.Int.t Support.Option.t;
    }
  4. | Infix_fixity of {
    1. location : Beluga_syntax.Syncom.Location.t;
    2. constant : Beluga_syntax.Syncom.Qualified_identifier.t;
    3. precedence : Support.Int.t Support.Option.t;
    4. associativity : Beluga_syntax.Syncom.Associativity.t Support.Option.t;
    }
  5. | Postfix_fixity of {
    1. location : Beluga_syntax.Syncom.Location.t;
    2. constant : Beluga_syntax.Syncom.Qualified_identifier.t;
    3. precedence : Support.Int.t Support.Option.t;
    }
  6. | Not of {
    1. location : Beluga_syntax.Syncom.Location.t;
    }
  7. | Open_module of {
    1. location : Beluga_syntax.Syncom.Location.t;
    2. module_identifier : Beluga_syntax.Syncom.Qualified_identifier.t;
    }
  8. | Abbreviation of {
    1. location : Beluga_syntax.Syncom.Location.t;
    2. module_identifier : Beluga_syntax.Syncom.Qualified_identifier.t;
    3. abbreviation : Beluga_syntax.Syncom.Identifier.t;
    }
  9. | Raw_query of {
    1. location : Beluga_syntax.Syncom.Location.t;
    2. identifier : Beluga_syntax.Syncom.Identifier.t Support.Option.t;
    3. typ : Synprs__.Synprs_definition.LF.Object.t;
    4. expected_solutions : Support.Int.t Support.Option.t;
    5. maximum_tries : Support.Int.t Support.Option.t;
    }