CollectSetNode<'T, 'U> Type
An adaptive set that unions one inner adaptive set per source element
(ASet.collect, PLAN.md Section 7.4). The output is the refcounted
union of all contributions (the CountingHashSet role): an output element
disappears only when the last contributing inner set drops it. A removed
source element unregisters its inner sink eagerly (ANALYSIS-FDA.md
Pitfall 1). Registration is lazy (first read); disposal unregisters
everything.
Constructors
| Constructor |
Description
|
Full Usage:
CollectSetNode(source, mapping)
Parameters:
IAdaptiveSet<'T>
mapping : 'T -> IAdaptiveSet<'U>
Returns: CollectSetNode<'T, 'U>
|
|
Mibo