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.

A printer for reports, defined using open-recursion.

The type of target integers.

This module implements infinite arrays.