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

Explicit -- a key in the hashtable created by Drestriction/Dintegration

See also

For the programmer

The object Explicit is a symbol.