Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
The type of data held by the bindings. The difference between data and tags is that the data will survive the efficient retagging. See Trie.retag
.
The type of tags attached to the bindings. The difference between data and tags is that tags can be efficiently reset. See Trie.retag
.
The type of contexts passed to each call of Modifier.S.modify
for the effect handler to distinguish different function calls.