Compiler.DependentCore

7112def reduceAppliedCorePrimitive :
7113  (pi unrestricted primitive : (family CorePrimitive) .
7114    (pi unrestricted left : (family CoreTerm) .
7115      (pi unrestricted right : (family CoreTerm) . (family CoreTerm)))) =
7116  (lambda unrestricted primitive : (family CorePrimitive) .
7117    (eliminate
7118      CorePrimitive
7119      (lambda unrestricted value : (family CorePrimitive) .
7120        (pi unrestricted left : (family CoreTerm) .
7121          (pi unrestricted right : (family CoreTerm) . (family CoreTerm))))
7122      primitive
7123      (branch CoreByteEqual . reduceCoreByteEqual)
7124      (branch CoreByteLess . reduceCoreByteLess)
7125      (branch CoreNaturalLess . reduceCoreNaturalLess)
7126      (branch CoreNaturalToByte . (corePrimitiveApplication2 primitive))
7127      (branch CoreByteToNatural . (corePrimitiveApplication2 primitive))
7128      (branch CoreBytesAppend . reduceCoreBytesAppend)
7129      (branch CoreBytesCons . reduceCoreBytesCons)
7130      (branch CoreBytesLength . (corePrimitiveApplication2 primitive))
7131      (branch CoreNaturalEliminate . (corePrimitiveApplication2 primitive))
7132      (branch CoreBytesEliminate . (corePrimitiveApplication2 primitive))
7133      (branch CoreBytesEqual . reduceCoreBytesEqual)
7134      (branch CoreFileEffect . (corePrimitiveApplication2 primitive))
7135      (branch CoreEffects . (corePrimitiveApplication2 primitive))
7136      (branch CoreComputation . (corePrimitiveApplication2 primitive))
7137      (branch CoreReturn . (corePrimitiveApplication2 primitive))
7138      (branch CoreBind . (corePrimitiveApplication2 primitive))
7139      (branch CoreReadFile . (corePrimitiveApplication2 primitive))
7140      (branch CoreWriteFile . (corePrimitiveApplication2 primitive))
7141      (branch CoreLinuxOpenNode . (corePrimitiveApplication2 primitive))
7142      (branch CoreLinuxCloseNode . (corePrimitiveApplication2 primitive))
7143      (branch CoreLinuxIoctl . (corePrimitiveApplication2 primitive))
7144      (branch CoreLinuxMmap . (corePrimitiveApplication2 primitive))
7145      (branch CoreLinuxMunmap . (corePrimitiveApplication2 primitive))
7146      (branch CoreBytesSetIndex . (corePrimitiveApplication2 primitive))
7147      (branch CoreBytesIndexNonzero . (corePrimitiveApplication2 primitive))
7148      (branch CoreBytesSetFreeIndex . (corePrimitiveApplication2 primitive))
7149      (branch CoreBytesBuilderType . (corePrimitiveApplication2 primitive))
7150      (branch CoreBytesBuilderEmpty . (corePrimitiveApplication2 primitive))
7151      (branch CoreBytesBuilderChunk . (corePrimitiveApplication2 primitive))
7152      (branch CoreBytesBuilderAppend . (corePrimitiveApplication2 primitive))
7153      (branch CoreBytesBuilderBuild . (corePrimitiveApplication2 primitive))
7154      (branch CoreRuntimeImageV4Build . (corePrimitiveApplication2 primitive))
7155      (branch CoreBytesHead . (corePrimitiveApplication2 primitive))
7156      (branch CoreBytesTail . (corePrimitiveApplication2 primitive))
7157      (branch CoreBytesChecksum . (corePrimitiveApplication2 primitive))))