Compiler.DependentCore

7434def reduceAppliedCoreEliminator :
7435  (pi unrestricted primitive : (family CorePrimitive) .
7436    (pi unrestricted first : (family CoreTerm) .
7437      (pi unrestricted second : (family CoreTerm) .
7438        (pi unrestricted third : (family CoreTerm) .
7439          (pi unrestricted fourth : (family CoreTerm) . (family CoreTerm)))))) =
7440  (lambda unrestricted primitive : (family CorePrimitive) .
7441    (eliminate
7442      CorePrimitive
7443      (lambda unrestricted value : (family CorePrimitive) .
7444        (pi unrestricted first : (family CoreTerm) .
7445          (pi unrestricted second : (family CoreTerm) .
7446            (pi unrestricted third : (family CoreTerm) .
7447              (pi unrestricted fourth : (family CoreTerm) . (family CoreTerm))))))
7448      primitive
7449      (branch CoreByteEqual . (corePrimitiveApplication4 primitive))
7450      (branch CoreByteLess . (corePrimitiveApplication4 primitive))
7451      (branch CoreNaturalLess . (corePrimitiveApplication4 primitive))
7452      (branch CoreNaturalToByte . (corePrimitiveApplication4 primitive))
7453      (branch CoreByteToNatural . (corePrimitiveApplication4 primitive))
7454      (branch CoreBytesAppend . (corePrimitiveApplication4 primitive))
7455      (branch CoreBytesCons . (corePrimitiveApplication4 primitive))
7456      (branch CoreBytesLength . (corePrimitiveApplication4 primitive))
7457      (branch CoreNaturalEliminate . reduceCoreNaturalEliminate)
7458      (branch CoreBytesEliminate . reduceCoreBytesEliminate)
7459      (branch CoreBytesEqual . (corePrimitiveApplication4 primitive))
7460      (branch CoreFileEffect . (corePrimitiveApplication4 primitive))
7461      (branch CoreEffects . (corePrimitiveApplication4 primitive))
7462      (branch CoreComputation . (corePrimitiveApplication4 primitive))
7463      (branch CoreReturn . (corePrimitiveApplication4 primitive))
7464      (branch CoreBind . (corePrimitiveApplication4 primitive))
7465      (branch CoreReadFile . (corePrimitiveApplication4 primitive))
7466      (branch CoreWriteFile . (corePrimitiveApplication4 primitive))
7467      (branch CoreLinuxOpenNode . (corePrimitiveApplication4 primitive))
7468      (branch CoreLinuxCloseNode . (corePrimitiveApplication4 primitive))
7469      (branch CoreLinuxIoctl . (corePrimitiveApplication4 primitive))
7470      (branch CoreLinuxMmap . (corePrimitiveApplication4 primitive))
7471      (branch CoreLinuxMunmap . (corePrimitiveApplication4 primitive))
7472      (branch CoreBytesSetIndex . (corePrimitiveApplication4 primitive))
7473      (branch CoreBytesIndexNonzero . (corePrimitiveApplication4 primitive))
7474      (branch CoreBytesSetFreeIndex . (corePrimitiveApplication4 primitive))
7475      (branch CoreBytesBuilderType . (corePrimitiveApplication4 primitive))
7476      (branch CoreBytesBuilderEmpty . (corePrimitiveApplication4 primitive))
7477      (branch CoreBytesBuilderChunk . (corePrimitiveApplication4 primitive))
7478      (branch CoreBytesBuilderAppend . (corePrimitiveApplication4 primitive))
7479      (branch CoreBytesBuilderBuild . (corePrimitiveApplication4 primitive))
7480      (branch CoreRuntimeImageV4Build . (corePrimitiveApplication4 primitive))
7481      (branch CoreBytesHead . (corePrimitiveApplication4 primitive))
7482      (branch CoreBytesTail . (corePrimitiveApplication4 primitive))
7483      (branch CoreBytesChecksum . (corePrimitiveApplication4 primitive))))