package atd

  1. Overview
  2. Docs
val add_name : 'a list -> [> `Name of 'b * ('c * 'a * 'd) * 'e ] -> 'a list
val get_kind : [> `Record of 'a | `Sum of 'b ] -> [> `Other | `Record | `Sum ]
val check_inheritance : (string, 'a * ('b * 'c * Atd_ast.type_expr) option) Hashtbl.t -> Atd_ast.type_expr -> unit
val check_type_expr : (string, int * ('a * 'b * Atd_ast.type_expr) option) Hashtbl.t -> string list -> Atd_ast.type_expr -> unit
val check : Atd_ast.module_body -> unit
OCaml

Innovation. Community. Security.