Index of types

If (a -> set) belongs to the map, it means that there are edges from a to every element of set.

Documentation comments

An error is a report which report_kind must be Report_error.

A iterator record implements one "method" per syntactic category, using an open recursion style: each method takes as its first argument the iterator to be applied to children in the syntax tree.

A mapper record implements one "method" per syntactic category, using an open recursion style: each method takes as its first argument the mapper to be applied to children in the syntax tree.

native object files have a format and magic number that depend on certain native-compiler configuration parameters.

the type of raw magic numbers, such as "Caml1999A027" for the .cma files of OCaml 4.10

the type of raw magic numbers kinds, such as "Caml1999A" for .cma files

A printer for reports, defined using open-recursion.

The type of target integers.

Represent one directory in the load path.

This module implements infinite arrays.