1779def dpoWordIntervals =
1780 (lambda unrestricted count : Nat .
1781 (stdListMap
1782 Nat
1783 (family LogicalInterval)
1784 (lambda unrestricted index : Nat . (dpoInterval (naturalMultiply dpWord index) dpWord))
1785 (stdListNaturalsBelow count)))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.