creditmonad-1.1.0: Reasoning about amortized time complexity

Index - A

AddTest.Credit.Sortable.Base
addTest.Credit.Sortable.Base
AddSegTest.Credit.Sortable.MergeSort
addSeg 
1 (Function)Test.Credit.Sortable.MergeSort
2 (Function)Test.Credit.Sortable.Scheduled
allEvaluatedTest.Credit.Queue.Bankers
allInvariantTest.Credit.Queue.Bankers
allZerosTest.Credit.Heap.Binomial
appTest.Credit.Queue.Physicists
appendTest.Credit.Finger
AppRevTest.Credit.Queue.Physicists
AssertionFailedControl.Monad.Credit