blob: 3f2fa9519d51a7e4d474009328bbd8e171a52a4e (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
|
(
(let config (DataSource 'config))
(let world (Configure! world config 'PureDataSource 'yt))
(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)
)
|
