( (let config (DataSource 'config)) (let res_sink (DataSink 'result)) (let res (List (ListType (DataType 'Bool)))) (let res (Append res (== (Int32 '5) (Uint64 '5)))) (let res (Append res (== (Int32 '-5) (Uint64 '5)))) (let res (Append res (== (Uint64 '5) (Int32 '-5)))) (let world (Write! world res_sink (Key) res '('('type)))) (let res (List (ListType (DataType 'Bool)))) (let res (Append res (!= (Int32 '5) (Uint64 '5)))) (let res (Append res (!= (Int32 '-5) (Uint64 '5)))) (let res (Append res (!= (Uint64 '5) (Int32 '-5)))) (let world (Write! world res_sink (Key) res '('('type)))) (let res (List (ListType (DataType 'Bool)))) (let res (Append res (< (Int32 '5) (Uint64 '5)))) (let res (Append res (< (Int32 '-1) (Uint64 '5)))) (let res (Append res (< (Int32 '1) (Uint64 '5)))) (let res (Append res (< (Uint64 '1) (Int32 '-2)))) (let world (Write! world res_sink (Key) res '('('type)))) (let res (List (ListType (DataType 'Bool)))) (let res (Append res (<= (Int32 '5) (Uint64 '5)))) (let res (Append res (<= (Int32 '-1) (Uint64 '5)))) (let res (Append res (<= (Int32 '1) (Uint64 '5)))) (let res (Append res (<= (Uint64 '1) (Int32 '-2)))) (let world (Write! world res_sink (Key) res '('('type)))) (let res (List (ListType (DataType 'Bool)))) (let res (Append res (> (Int32 '5) (Uint64 '5)))) (let res (Append res (> (Int32 '-1) (Uint64 '5)))) (let res (Append res (> (Int32 '1) (Uint64 '5)))) (let res (Append res (> (Uint64 '1) (Int32 '-2)))) (let world (Write! world res_sink (Key) res '('('type)))) (let res (List (ListType (DataType 'Bool)))) (let res (Append res (>= (Int32 '5) (Uint64 '5)))) (let res (Append res (>= (Int32 '-1) (Uint64 '5)))) (let res (Append res (>= (Int32 '1) (Uint64 '5)))) (let res (Append res (>= (Uint64 '1) (Int32 '-2)))) (let world (Write! world res_sink (Key) res '('('type)))) (let world (Commit! world res_sink)) (return world) )