473def coppeliusRealizedAddresses =
474 (lambda unrestricted realized : (family CoppeliusRealizedTables) .
475 (eliminate CoppeliusRealizedTables (lambda unrestricted current : (family CoppeliusRealizedTables) . Bytes) realized
476 (branch CoppeliusRealizedTablesValue addresses words entries . addresses)))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.