914def nativePhysicalImageEncodeCommandsForFormat =
915 (lambda unrestricted format : (family NativePhysicalImageFormat) .
916 (lambda unrestricted commands : (family NativePhysicalCommands) .
917 (eliminate
918 NativePhysicalCommands
919 (lambda unrestricted current : (family NativePhysicalCommands) .
920 (family NativePhysicalEncodedCommandsResult))
921 commands
922 (branch
923 NativePhysicalCommandsEnd
924 .
925 (constructor
926 NativePhysicalEncodedCommandsResult
927 NativePhysicalCommandsEncoded
928 (constructor
929 NativePhysicalEncodedCommands
930 NativePhysicalEncodedCommandsValue
931 b""
932 zero
933 zero
934 zero
935 zero)))
936 (branch
937 NativePhysicalCommandsNext
938 head
939 tail
940 induction
941 .
942 (eliminate
943 NativePhysicalEncodedCommandResult
944 (lambda unrestricted current : (family NativePhysicalEncodedCommandResult) .
945 (family NativePhysicalEncodedCommandsResult))
946 (nativePhysicalImageEncodeCommandForFormat format head)
947 (branch
948 NativePhysicalCommandEncoded
949 encoded
950 .
951 (eliminate
952 NativePhysicalEncodedCommandsResult
953 (lambda unrestricted current : (family NativePhysicalEncodedCommandsResult) .
954 (family NativePhysicalEncodedCommandsResult))
955 induction
956 (branch
957 NativePhysicalCommandsEncoded
958 encodedTail
959 .
960 (eliminate
961 NativePhysicalEncodedCommand
962 (lambda unrestricted current : (family NativePhysicalEncodedCommand) .
963 (family NativePhysicalEncodedCommandsResult))
964 encoded
965 (branch
966 NativePhysicalEncodedCommandValue
967 bytes
968 payloadBytes
969 auxiliaryBytes
970 errorBytes
971 .
972 (eliminate
973 NativePhysicalEncodedCommands
974 (lambda unrestricted current : (family NativePhysicalEncodedCommands) .
975 (family NativePhysicalEncodedCommandsResult))
976 encodedTail
977 (branch
978 NativePhysicalEncodedCommandsValue
979 tailBytes
980 tailCount
981 tailPayload
982 tailAuxiliary
983 tailError
984 .
985 (constructor
986 NativePhysicalEncodedCommandsResult
987 NativePhysicalCommandsEncoded
988 (constructor
989 NativePhysicalEncodedCommands
990 NativePhysicalEncodedCommandsValue
991 (bytes-append bytes tailBytes)
992 (succ tailCount)
993 (naturalAdd payloadBytes tailPayload)
994 (naturalAdd auxiliaryBytes tailAuxiliary)
995 (naturalAdd errorBytes tailError))))))))
996 (branch
997 NativePhysicalCommandsEncodingFailed
998 error
999 ordinal
1000 .
1001 (constructor
1002 NativePhysicalEncodedCommandsResult
1003 NativePhysicalCommandsEncodingFailed
1004 error
1005 (succ ordinal)))))
1006 (branch
1007 NativePhysicalCommandEncodingFailed
1008 error
1009 .
1010 (constructor
1011 NativePhysicalEncodedCommandsResult
1012 NativePhysicalCommandsEncodingFailed
1013 error
1014 zero)))))))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.