package atdgen

  1. Overview
  2. Docs
type 'a grouped_defs = (bool * 'a def list) list
type name = Ag_mapping.loc * string
type names = {
  1. field_names : name list list;
  2. 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 -> '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
OCaml

Innovation. Community. Security.