next | previous | forward | backward | up | top | index | toc | home

pruningMap

Description

This symbol is used as a key for storing results in modules, by minimalPresentation.

For the programmer

The object pruningMap is a symbol.