Module Meta.Schema_object

Context schemas.

type t =
  1. | Raw_constant of {
    1. location : Beluga_syntax.Syncom.Location.t;
    2. identifier : Beluga_syntax.Syncom.Qualified_identifier.t;
    }
  2. | Raw_alternation of {
    1. location : Beluga_syntax.Syncom.Location.t;
    2. schemas : t Support.List2.t;
    }
  3. | Raw_element of {
    1. location : Beluga_syntax.Syncom.Location.t;
    2. some : (Beluga_syntax.Syncom.Identifier.t * Synprs__.Synprs_definition.LF.Object.t) Support.List1.t Support.Option.t;
    3. block : (Beluga_syntax.Syncom.Identifier.t Support.Option.t * Synprs__.Synprs_definition.LF.Object.t) Support.List1.t;
    }