atdgen 1.10.2 · OCaml Package

type loc = Atd_ast.loc

val annot_error : Atd_ast.loc -> 'a

type loc_id = string

type ('a, 'b) mapping = [

]

and ('a, 'b) cell_mapping = {

}

and ('a, 'b) field_mapping = {

}

and ('a, 'b) variant_mapping = {

}

type ('a, 'b) def = {

}

val as_abstract : 
  [> `Name of 'a * (Atd_ast.loc * string * 'b list) * 'c ] ->
  (Atd_ast.loc * 'd) option

val is_abstract : 
  [> `Name of 'a * (Atd_ast.loc * string * 'b list) * 'c ] ->
  bool

val loc_of_mapping : ('a, 'b) mapping -> loc

module Env : sig ... end

val subst : ('a, 'b) mapping Env.t -> ('a, 'b) mapping -> ('a, 'b) mapping

val subst_variant : 
  ('a, 'b) mapping Env.t ->
  ('c, 'd) variant_mapping ->
  ('c, 'd) variant_mapping

val subst_field : 
  ('a, 'b) mapping Env.t ->
  ('c, 'd) field_mapping ->
  ('e, 'f) field_mapping

val subst_cell : 
  ('a, 'b) mapping Env.t ->
  ('c, 'd) cell_mapping ->
  ('e, 'f) cell_mapping

val apply : 
  Env.key list ->
  ('a, 'b) mapping ->
  ('a, 'b) mapping list ->
  ('a, 'b) mapping

val find_name : 
  Atd_ast.loc ->
  (Env.key list * ('a, 'b) mapping) Env.t ->
  Env.key list ->
  Env.key ->
  Env.key list * ('a, 'b) mapping

val deref_expr : 
  (Env.key list * ('a, 'b) mapping) Env.t ->
  Env.key list ->
  ('a, 'b) mapping ->
  ('a, 'b) mapping

val flatten : ('a * 'b list) list -> 'b list

val make_deref : 
  (bool * ('a, 'b) def list) list ->
  ('a0, 'b0) mapping ->
  ('a0, 'b0) mapping

val unwrap : 
  (('a, 'b) mapping -> ('a, 'b) mapping) ->
  ('a, 'b) mapping ->
  ('a, 'b) mapping

val constructor : ('a, 'b) mapping -> string

package atdgen