A generic Parsetree iterator
type iterator = {
}
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.
val default_iterator : iterator
A default iterator, which implements a "do not do anything" mapping.