L = specializeACM B
i1 : B = generalACMBetti {-1,-1,-1,2,1} 0 1 2 o1 = total: 1 3 2 0: 1 . . 1: . . . 2: . 3 1 3: . . 1 o1 : BettiTally
i2 : specializeACMBetti B 0 1 2 o2 = {total: 1 4 3} 0: 1 . . 1: . . . 2: . 3 2 3: . 1 1 o2 : List
The object specializeACMBetti is a method function.