Ag_xb_emit (p.atdgen.1.12.0.doc.atdgen.Ag_xb

type 'a expr = ('a, Ag_biniou.biniou_repr) Ag_mapping.mapping

type 'a def = ('a, Ag_biniou.biniou_repr) Ag_mapping.def

type 'a grouped_defs = (bool * 'a def list) list

type name = Ag_mapping.loc * string

type names = {

field_names : name list list;
variant_names : name list list;

}

val extract_names_from_expr : 
  ((Ag_mapping.loc * string) list list * (Ag_mapping.loc * string) list list) ->
  'a expr ->
  (Ag_mapping.loc * string) list list * (Ag_mapping.loc * string) list list

val extract_names_from_variant : 
  ((Ag_mapping.loc * string) list
   * ((Ag_mapping.loc * string) list list * (Ag_mapping.loc * string) list list)) ->
  ('a, Ag_biniou.biniou_repr) Ag_mapping.variant_mapping ->
  (Ag_mapping.loc * string) list
  * ((Ag_mapping.loc * string) list list * (Ag_mapping.loc * string) list list)

val extract_names_from_field : 
  ((Ag_mapping.loc * string) list
   * ((Ag_mapping.loc * string) list list * (Ag_mapping.loc * string) list list)) ->
  ('a, Ag_biniou.biniou_repr) Ag_mapping.field_mapping ->
  (Ag_mapping.loc * string) list
  * ((Ag_mapping.loc * string) list list * (Ag_mapping.loc * string) list list)

val extract_names_from_cell : 
  ((Ag_mapping.loc * string) list list * (Ag_mapping.loc * string) list list) ->
  ('a, Ag_biniou.biniou_repr) Ag_mapping.cell_mapping ->
  (Ag_mapping.loc * string) list list * (Ag_mapping.loc * string) list list

val extract_ocaml_names_from_defs : 
  ('a, Ag_biniou.biniou_repr) Ag_mapping.def list ->
  names

val flatten_defs : 'a grouped_defs -> 'a def list

val check_duplicate_hashes : string -> (Atd_ast.loc * string) list -> unit

val check_hashes : names -> unit

val check : 'a grouped_defs -> unit