79def ahChoose = (lambda unrestricted condition : Nat .
80 (lambda unrestricted yes : (family SM86Program) . (lambda unrestricted no : (family SM86Program) .
81 (nat-eliminate (lambda unrestricted n : Nat . (family SM86Program)) no
82 (lambda unrestricted p : Nat . (lambda unrestricted ignored : (family SM86Program) . yes)) condition))))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.