the bound a table declares for an operation; an operation the table does not
name is Unsupported (never silently exact)
226def stdApproximationOf =
227 (lambda unrestricted operation : (family StdNumericOperation) .
228 (lambda unrestricted table : (family StdApproximationTable) .
229 (eliminate
230 StdApproximationTable
231 (lambda unrestricted current : (family StdApproximationTable) . (family StdApproximation))
232 table
233 (branch
234 StdApproximationTableEmpty
235 .
236 (constructor StdApproximation StdApproximationUnsupported))
237 (branch
238 StdApproximationTableCons
239 entry
240 rest
241 restBound
242 .
243 (eliminate
244 StdApproximationEntry
245 (lambda unrestricted current : (family StdApproximationEntry) .
246 (family StdApproximation))
247 entry
248 (branch
249 StdApproximationEntryOf
250 entryOperation
251 entryBound
252 .
253 (stdSelectApproximation
254 (stdOperationEqual entryOperation operation)
255 entryBound
256 restBound)))))))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.