atdgen 1.12.0 · OCaml Package

type o = Ag_ocaml.atd_ocaml_repr

type v = Ag_validate.validate_repr

type ov_mapping =
  (Ag_ocaml.atd_ocaml_repr, Ag_validate.validate_repr) Ag_mapping.mapping

type ob_def =
  (Ag_ocaml.atd_ocaml_repr, Ag_validate.validate_repr) Ag_mapping.def

val ploc : Atd_ast.type_expr -> unit

val print : string -> unit

val get_def : 
  ('a, Atd_ast.type_expr) Stdlib.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) Stdlib.Hashtbl.t ->
  unit H.t ->
  bool H.t ->
  Atd_ast.type_expr ->
  bool

val name_is_shallow : 
  (string, Atd_ast.type_expr) Stdlib.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) Stdlib.Hashtbl.t ->
  bool H.t ->
  Atd_ast.type_expr ->
  unit

val make_is_shallow : 
  (string, Atd_ast.type_expr) Stdlib.Hashtbl.t ->
  H.key ->
  bool

val mapping_of_expr : 
  (Atd_ast.type_expr -> bool) ->
  Atd_ast.type_expr ->
  ov_mapping

val mapping_of_cell : 
  (Atd_ast.type_expr -> bool) ->
  Atd_ast.cell ->
  (Ag_ocaml.atd_ocaml_repr, Ag_validate.validate_repr) Ag_mapping.cell_mapping

val mapping_of_variant : 
  (Atd_ast.type_expr -> bool) ->
  Atd_ast.variant ->
  (Ag_ocaml.atd_ocaml_repr, Ag_validate.validate_repr)
    Ag_mapping.variant_mapping

val mapping_of_field : 
  (Atd_ast.type_expr -> bool) ->
  string ->
  Atd_ast.field ->
  (Ag_ocaml.atd_ocaml_repr, Ag_validate.validate_repr) Ag_mapping.field_mapping

val def_of_atd : 
  (Atd_ast.type_expr -> bool) ->
  (Atd_ast.loc * (string * string list * Atd_annot.t) * Atd_ast.type_expr) ->
  (Ag_ocaml.atd_ocaml_repr, Ag_validate.validate_repr) Ag_mapping.def

val fill_def_tbl : 
  ('a, 'b) Stdlib.Hashtbl.t ->
  [< `Type of 'c * ('a * 'd * 'e) * 'b ] list ->
  unit

val init_def_tbl : unit -> ('a, 'b) Stdlib.Hashtbl.t

val make_def_tbl : 
  [< `Type of 'a * ('b * 'c * 'd) * 'e ] list ->
  ('b, 'e) Stdlib.Hashtbl.t

val make_def_tbl2 : 
  ('a * [< `Type of 'b * ('c * 'd * 'e) * 'f ] list) list ->
  ('c, 'f) Stdlib.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

package atdgen