Module Attributes.Context

type ('a, 'w) t =
  1. | Expression : (Astlib.Ast_500.Parsetree.expression, [> `expression ]) t
  2. | Module_expr : (Astlib.Ast_500.Parsetree.module_expr, [> `module_expr ]) t
  3. | Core_type : (Astlib.Ast_500.Parsetree.core_type, [> `core_type ]) t
  4. | Module_type : (Astlib.Ast_500.Parsetree.module_type, [> `module_type ]) t
  5. | Value_binding : (Astlib.Ast_500.Parsetree.value_binding, [> `value_binding ]) t
  6. | Value_description : (Astlib.Ast_500.Parsetree.value_description, [> `value_description ]) t
  7. | Module_binding : (Astlib.Ast_500.Parsetree.module_binding, [> `module_binding ]) t
  8. | Module_declaration : (Astlib.Ast_500.Parsetree.module_declaration, [> `module_declaration ]) t
  9. | Type_declaration : (Astlib.Ast_500.Parsetree.type_declaration, [> `type_declaration ]) t
  10. | Module_type_declaration : (Astlib.Ast_500.Parsetree.module_type_declaration, [> `module_type_declaration ]) t
  11. | Include_infos : ((Astlib.Ast_500.Parsetree.module_expr, Astlib.Ast_500.Parsetree.module_type) Stdppx.Either.t Astlib.Ast_500.Parsetree.include_infos, [> `include_infos ]) t
type 'a poly = ('a, [ `value_binding | `value_description | `module_binding | `module_declaration | `type_declaration | `module_type_declaration | `include_infos ]) t
type 'a mono = ('a, [ `expression | `module_expr | `core_type | `module_type ]) t
type 'a zero_alloc_if = ('a, [ `expression | `value_binding | `value_description ]) t
type 'a any = ('a, [ Ppx_template_expander__.Attributes_intf.Definitions.poly_w | Ppx_template_expander__.Attributes_intf.Definitions.mono_w | Ppx_template_expander__.Attributes_intf.Definitions.zero_alloc_if_w ]) t
type 'w packed = private
  1. | T : (_, 'w) t -> 'w packed
val poly_to_any : 'a poly -> 'a any
val mono_to_any : 'a mono -> 'a any
val zero_alloc_if_to_any : 'a zero_alloc_if -> 'a any
val location : ('a, 'b) t -> 'a -> Astlib.Location.t