Compiler.DependentCore

6739def reduceDirectCorePrimitive :
6740  (pi unrestricted primitive : (family CorePrimitive) .
6741    (pi unrestricted argument : (family CoreTerm) . (family CoreTerm))) =
6742  (lambda unrestricted primitive : (family CorePrimitive) .
6743    (eliminate
6744      CorePrimitive
6745      (lambda unrestricted value : (family CorePrimitive) .
6746        (pi unrestricted argument : (family CoreTerm) . (family CoreTerm)))
6747      primitive
6748      (branch CoreByteEqual . (corePrimitiveApplication primitive))
6749      (branch CoreByteLess . (corePrimitiveApplication primitive))
6750      (branch CoreNaturalLess . (corePrimitiveApplication primitive))
6751      (branch CoreNaturalToByte . reduceCoreNaturalToByte)
6752      (branch CoreByteToNatural . reduceCoreByteToNatural)
6753      (branch CoreBytesAppend . (corePrimitiveApplication primitive))
6754      (branch CoreBytesCons . (corePrimitiveApplication primitive))
6755      (branch CoreBytesLength . reduceCoreBytesLength)
6756      (branch CoreNaturalEliminate . (corePrimitiveApplication primitive))
6757      (branch CoreBytesEliminate . (corePrimitiveApplication primitive))
6758      (branch CoreBytesEqual . (corePrimitiveApplication primitive))
6759      (branch CoreFileEffect . (corePrimitiveApplication primitive))
6760      (branch CoreEffects . (corePrimitiveApplication primitive))
6761      (branch CoreComputation . (corePrimitiveApplication primitive))
6762      (branch CoreReturn . (corePrimitiveApplication primitive))
6763      (branch CoreBind . (corePrimitiveApplication primitive))
6764      (branch CoreReadFile . (corePrimitiveApplication primitive))
6765      (branch CoreWriteFile . (corePrimitiveApplication primitive))
6766      (branch CoreLinuxOpenNode . (corePrimitiveApplication primitive))
6767      (branch CoreLinuxCloseNode . (corePrimitiveApplication primitive))
6768      (branch CoreLinuxIoctl . (corePrimitiveApplication primitive))
6769      (branch CoreLinuxMmap . (corePrimitiveApplication primitive))
6770      (branch CoreLinuxMunmap . (corePrimitiveApplication primitive))
6771      (branch CoreBytesSetIndex . (corePrimitiveApplication primitive))
6772      (branch CoreBytesIndexNonzero . (corePrimitiveApplication primitive))
6773      (branch CoreBytesSetFreeIndex . (corePrimitiveApplication primitive))
6774      (branch CoreBytesBuilderType . (corePrimitiveApplication primitive))
6775      (branch CoreBytesBuilderEmpty . (corePrimitiveApplication primitive))
6776      (branch CoreBytesBuilderChunk . (corePrimitiveApplication primitive))
6777      (branch CoreBytesBuilderAppend . (corePrimitiveApplication primitive))
6778      (branch CoreBytesBuilderBuild . (corePrimitiveApplication primitive))
6779      (branch CoreRuntimeImageV4Build . (corePrimitiveApplication primitive))
6780      (branch CoreBytesHead . (corePrimitiveApplication primitive))
6781      (branch CoreBytesTail . (corePrimitiveApplication primitive))
6782      (branch CoreBytesChecksum . (corePrimitiveApplication primitive))))