package atd

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

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