applyDelta m delta
Signature: m:hmap<'k,'v> -> delta:hdeltamap<'k,'v> -> hmap<'k,'v> * hmap<'k,ElementOperation<'v>>
Type parameters: 'k, 'v
|
|
computeDelta l r
Signature: l:hmap<'k,'v> -> r:hmap<'k,'v> -> hdeltamap<'k,'v>
Type parameters: 'k, 'v
|
|
trace
Signature: Traceable<hmap<'k,'v>,hdeltamap<'k,'v>>
Type parameters: 'k, 'v
|
|