146def sm86CapabilityChecksAccepted =
147 (lambda unrestricted checks : (family SM86CapabilityChecks) .
148 (eliminate
149 SM86CapabilityChecks
150 (lambda unrestricted current : (family SM86CapabilityChecks) . Nat)
151 checks
152 (branch
153 SM86CapabilityChecksValue
154 architecture
155 memory
156 addressExtent
157 grid
158 uvm
159 resourceManager
160 qmd
161 pushbuffer
162 gpfifo
163 timestamps
164 noFallback
165 .
166 (naturalAnd
167 architecture
168 (naturalAnd
169 memory
170 (naturalAnd
171 addressExtent
172 (naturalAnd
173 grid
174 (naturalAnd
175 uvm
176 (naturalAnd
177 resourceManager
178 (naturalAnd
179 qmd
180 (naturalAnd pushbuffer (naturalAnd gpfifo (naturalAnd timestamps noFallback)))))))))))))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.