6952def reduceCoreBytesAppend :
6953 (pi unrestricted left : (family CoreTerm) .
6954 (pi unrestricted right : (family CoreTerm) . (family CoreTerm))) =
6955 (lambda unrestricted left : (family CoreTerm) .
6956 (lambda unrestricted right : (family CoreTerm) .
6957 (eliminate
6958 CoreLiteralInspection
6959 (lambda unrestricted leftInspection : (family CoreLiteralInspection) . (family CoreTerm))
6960 (inspectCoreLiteral left)
6961 (branch
6962 CoreNaturalInspected
6963 value
6964 .
6965 (corePrimitiveApplication2 (constructor CorePrimitive CoreBytesAppend) left right))
6966 (branch
6967 CoreByteInspected
6968 value
6969 .
6970 (corePrimitiveApplication2 (constructor CorePrimitive CoreBytesAppend) left right))
6971 (branch
6972 CoreBytesInspected
6973 leftValue
6974 .
6975 (eliminate
6976 CoreLiteralInspection
6977 (lambda unrestricted rightInspection : (family CoreLiteralInspection) .
6978 (family CoreTerm))
6979 (inspectCoreLiteral right)
6980 (branch
6981 CoreNaturalInspected
6982 value
6983 .
6984 (corePrimitiveApplication2 (constructor CorePrimitive CoreBytesAppend) left right))
6985 (branch
6986 CoreByteInspected
6987 value
6988 .
6989 (corePrimitiveApplication2 (constructor CorePrimitive CoreBytesAppend) left right))
6990 (branch
6991 CoreBytesInspected
6992 rightValue
6993 .
6994 (constructor CoreTerm CoreBytesLiteral (bytes-append leftValue rightValue)))
6995 (branch
6996 CoreNotLiteral
6997 .
6998 (corePrimitiveApplication2 (constructor CorePrimitive CoreBytesAppend) left right))))
6999 (branch
7000 CoreNotLiteral
7001 .
7002 (corePrimitiveApplication2 (constructor CorePrimitive CoreBytesAppend) left right)))))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.