1234567891011121314151617181920212223242526272829303132333435363738394041 |
- (
- (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)
- )
|