886def sm121LowerMaskSet =
887 (lambda unrestricted word : Nat .
888 (lambda unrestricted bit : Nat .
889 (sm121LowerWithField word (sm121LowerPlaceOf bit) 2 1)))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.