| A | |
| annot_of_type_expr [Atd_ast] | 
Return the annotations associated with a type expression.
 | 
| C | |
| create_id [Atd_annot] | 
Create a unique numeric ID
 | 
| D | |
| dummy_loc [Atd_ast] | 
Dummy value for predefined constructs that are
     not associated with a useful source location.
 | 
| E | |
| error [Atd_ast] | error sis a shorthand forraise (Atd_error s). | 
| error_at [Atd_ast] | error_at loc sraisesAtd_error s'wheres'is the location followed bys. | 
| expand_module_body [Atd_inherit] | 
Expand  inheritstatements found in sum types and product types. | 
| expand_module_body [Atd_expand] | 
Monomorphization of type expressions.
 | 
| extract_type_names [Atd_ast] | 
Extract all the type names occurring in a type expression 
     under  `Name, without duplicates. | 
| F | |
| fold [Atd_ast] | 
Iteration and accumulation over each  type_exprnode
     within a giventype_expr. | 
| format [Atd_print] | 
Pretty-printing.
 | 
| G | |
| get_field [Atd_annot] | get_field parse default section_names field_name annotationslooks sequentially into the sections specified bysection_namesfor a field namedfield_name. | 
| get_flag [Atd_annot] | get_flag section_names field_namelooks sequentially into the sections specified bysection_namesfor a field namedfield_name. | 
| H | |
| has_field [Atd_annot] | has_field section_names field_name annotationsreturns true if at least one section exists with
      a name insection_namesand one of its fields namedfield_name. | 
| has_section [Atd_annot] | 
Return true if such a section (first-level key) exists.
 | 
| I | |
| is_parametrized [Atd_ast] | 
Test whether a type expression contains type variables ( `Tvar). | 
| L | |
| load_file [Atd_util] | 
Read an ATD file.
 | 
| load_string [Atd_util] | 
Read ATD data from a string.
 | 
| loc_of_type_expr [Atd_ast] | 
Extract the source location of any type expression.
 | 
| M | |
| map_annot [Atd_ast] | 
Replacement of the annotations associated with a type
     expression.
 | 
| merge [Atd_annot] | 
Merge sections of the same name together,
      and keeps only the first occurrence of each 
      field.
 | 
| P | |
| print_full_module_def [Atd_reflect] | print_full_module_def buf name xprints OCaml source code
     that would construct the given ATD treexand call itname. | 
| R | |
| read_channel [Atd_util] | 
Read an ATD file from an  in_channel. | 
| read_lexbuf [Atd_util] | 
Read an ATD file from a lexbuf.
 | 
| S | |
| set_field [Atd_annot] | set_field loc section_name field_name value annotationssets a field, reusing existing sectionsection_nameif it exists, preserving the position of fieldfield_nameand overwriting its value if it exists. | 
| set_type_expr_loc [Atd_ast] | 
Replace the location of the given expression.
 | 
| string_of_loc [Atd_ast] | 
Convert a location into a human-readable string
      such as  File "foo.atd", line 123, characters 40-45. | 
| string_of_type_name [Atd_print] | 
Convert a type name with its arguments and its annotations
      into a string.
 | 
| T | |
| to_buffer [Atd_indent] | 
Write to a buffer.
 | 
| to_channel [Atd_indent] | 
Write to a channel.
 | 
| to_stdout [Atd_indent] | 
Write to  stdout. | 
| to_string [Atd_indent] | 
Write to a string.
 | 
| tsort [Atd_util] | 
Topological sort for dependency analysis.
 |