30def resourceCount =
31 (lambda erased element : Type 0 .
32 (lambda unrestricted predicate : (pi unrestricted value : element . Nat) .
33 (stdListFold
34 element
35 Nat
36 (lambda unrestricted value : element .
37 (lambda unrestricted total : Nat . (naturalAdd (naturalNonzero (predicate value)) total)))
38 0)))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.