Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
type o = Ag_ocaml.atd_ocaml_repr
type b = Ag_biniou.biniou_repr
type ob_mapping =
(Ag_ocaml.atd_ocaml_repr, Ag_biniou.biniou_repr) Ag_mapping.mapping
type ob_def = (Ag_ocaml.atd_ocaml_repr, Ag_biniou.biniou_repr) Ag_mapping.def
val mapping_of_expr : Atd_ast.type_expr -> ob_mapping
val mapping_of_cell :
Atd_ast.cell ->
(Ag_ocaml.atd_ocaml_repr, Ag_biniou.biniou_repr) Ag_mapping.cell_mapping
val mapping_of_variant :
Atd_ast.variant ->
(Ag_ocaml.atd_ocaml_repr, Ag_biniou.biniou_repr) Ag_mapping.variant_mapping
val mapping_of_field :
string ->
Atd_ast.field ->
(Ag_ocaml.atd_ocaml_repr, Ag_biniou.biniou_repr) Ag_mapping.field_mapping
val def_of_atd :
(Atd_ast.loc * (string * string list * Atd_annot.t) * Atd_ast.type_expr) ->
(Ag_ocaml.atd_ocaml_repr, Ag_biniou.biniou_repr) Ag_mapping.def
val defs_of_atd_module :
[< `Type of
Atd_ast.loc * (string * string list * Atd_annot.t) * Atd_ast.type_expr ]
list ->
(Ag_ocaml.atd_ocaml_repr, Ag_biniou.biniou_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 ]
list)
list ->
('a * (Ag_ocaml.atd_ocaml_repr, Ag_biniou.biniou_repr) Ag_mapping.def list)
list