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

type loc = Lexing.position * Lexing.position

exception Atd_error of string

type annot = annot_section list

and annot_section = string * (loc * annot_field list)

and annot_field = string * (loc * string option)

type full_module = module_head * module_body

and module_head = loc * annot

and module_body = module_item list

and module_item = [

]

and type_def = loc * (string * type_param * annot) * type_expr

and type_param = string list

and type_expr = [

]

and type_inst = loc * string * type_expr list

and variant = [

]

and cell = loc * type_expr * annot

and field_kind = [

]

and field = [

]

val loc_of_type_expr : type_expr -> loc

val set_type_expr_loc : loc -> type_expr -> type_expr

val string_of_loc : loc -> string

val error : string -> 'a

val error_at : loc -> string -> 'a

val dummy_loc : loc

val annot_of_type_expr : type_expr -> annot

val map_annot : (annot -> annot) -> type_expr -> type_expr

val map_all_annot : (annot -> annot) -> full_module -> full_module

val fold : (type_expr -> 'a -> 'a) -> type_expr -> 'a -> 'a

val extract_type_names : ?ignorable:string list -> type_expr -> string list

val is_parametrized : type_expr -> bool