288def sm86InstructionOneField =
289 (lambda unrestricted position : Nat .
290 (lambda unrestricted width : Nat .
291 (lambda unrestricted value : Nat .
292 (sm86InstructionFieldsCons
293 (sm86InstructionField position width value)
294 sm86InstructionFieldsEmpty))))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.