Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
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
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 -> 'a0 def list
val check_duplicate_hashes : string -> (Atd_ast.loc * string) list -> unit
val check_hashes : names -> unit
val check : 'a grouped_defs -> unit