package atdgen

  1. Overview
  2. Docs
val ploc : Atd_ast.type_expr -> unit
val print : string -> unit
val get_def : ('a, Atd_ast.type_expr) Hashtbl.t -> 'a -> Atd_ast.type_expr option
val noval : Atd_ast.type_expr -> bool
module H : sig ... end
val for_all_children : (Atd_ast.type_expr -> bool) -> Atd_ast.type_expr -> bool
val scan_expr : (string, Atd_ast.type_expr) Hashtbl.t -> unit H.t -> bool H.t -> Atd_ast.type_expr -> bool
val name_is_shallow : (string, Atd_ast.type_expr) Hashtbl.t -> unit H.t -> bool H.t -> Atd_ast.type_expr -> bool
val iter : (Atd_ast.type_expr -> unit) -> Atd_ast.type_expr -> unit
val scan_top_expr : (string, Atd_ast.type_expr) Hashtbl.t -> bool H.t -> Atd_ast.type_expr -> unit
val make_is_shallow : (string, Atd_ast.type_expr) Hashtbl.t -> H.key -> bool
val mapping_of_expr : (Atd_ast.type_expr -> bool) -> Atd_ast.type_expr -> ov_mapping
val fill_def_tbl : ('a, 'b) Hashtbl.t -> [< `Type of 'c * ('a * 'd * 'e) * 'b ] list -> unit
val init_def_tbl : unit -> ('a, 'b) Hashtbl.t
val make_def_tbl : [< `Type of 'a * ('b * 'c * 'd) * 'e ] list -> ('b, 'e) Hashtbl.t
val make_def_tbl2 : ('a * [< `Type of 'b * ('c * 'd * 'e) * 'f ] list) list -> ('c, 'f) Hashtbl.t
val defs_of_atd_module_gen : (Atd_ast.type_expr -> bool) -> [< `Type of Atd_ast.loc * (string * string list * Atd_annot.t) * Atd_ast.type_expr ] list -> (Ag_ocaml.atd_ocaml_repr, Ag_validate.validate_repr) Ag_mapping.def list
val defs_of_atd_module : [< `Type of Atd_ast.loc * (string * string list * Atd_annot.t) * Atd_ast.type_expr & 'a * (string * 'b * 'c) * Atd_ast.type_expr ] list -> (Ag_ocaml.atd_ocaml_repr, Ag_validate.validate_repr) Ag_mapping.def list
val defs_of_atd_modules : ('a * [< `Type of Atd_ast.loc * (string * string list * Atd_annot.t) * Atd_ast.type_expr & 'b * (string * 'c * 'd) * Atd_ast.type_expr ] list) list -> ('a * (Ag_ocaml.atd_ocaml_repr, Ag_validate.validate_repr) Ag_mapping.def list) list
OCaml

Innovation. Community. Security.