Data.Witness.WitnessFDict

data WitnessFDict w f

emptyWitnessFDict

witnessFDictLookup

witnessFDictModify

witnessFDictReplace

witnessFDictAdd

witnessFDictRemove

witnessFDictFromList