143def scIssue =
144 (lambda unrestricted keys : (family StdList Nat) .
145 (lambda unrestricted ready : Nat .
146 (lambda unrestricted pending : (family CompactionPending) .
147 (eliminate StdList (lambda unrestricted current : (family StdList Nat) . (family CompactionPending)) keys
148 (branch StdListEmpty . pending)
149 (branch StdListCons key rest induction .
150 (constructor CompactionPending CompactionPendingNext key ready induction))))))The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.