274def executableSize : Nat =
275 (eliminate
276 ExecutableResult
277 (lambda unrestricted result : (family ExecutableResult) . Nat)
278 executableSample
279 (branch ExecutableGenerated executableBytes . (bytes-length executableBytes))
280 (branch ExecutableUnboundVariable executableUnboundSpelling . zero)
281 (branch ExecutableUnsupportedTerm executableUnsupportedCode . zero)
282 (branch ExecutableUnsupportedSuccessor . zero))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.