Compare.yqls 1.8 KB

1234567891011121314151617181920212223242526272829303132333435363738394041
  1. (
  2. (let config (DataSource 'config))
  3. (let res_sink (DataSink 'result))
  4. (let res (List (ListType (DataType 'Bool))))
  5. (let res (Append res (== (Int32 '5) (Uint64 '5))))
  6. (let res (Append res (== (Int32 '-5) (Uint64 '5))))
  7. (let res (Append res (== (Uint64 '5) (Int32 '-5))))
  8. (let world (Write! world res_sink (Key) res '('('type))))
  9. (let res (List (ListType (DataType 'Bool))))
  10. (let res (Append res (!= (Int32 '5) (Uint64 '5))))
  11. (let res (Append res (!= (Int32 '-5) (Uint64 '5))))
  12. (let res (Append res (!= (Uint64 '5) (Int32 '-5))))
  13. (let world (Write! world res_sink (Key) res '('('type))))
  14. (let res (List (ListType (DataType 'Bool))))
  15. (let res (Append res (< (Int32 '5) (Uint64 '5))))
  16. (let res (Append res (< (Int32 '-1) (Uint64 '5))))
  17. (let res (Append res (< (Int32 '1) (Uint64 '5))))
  18. (let res (Append res (< (Uint64 '1) (Int32 '-2))))
  19. (let world (Write! world res_sink (Key) res '('('type))))
  20. (let res (List (ListType (DataType 'Bool))))
  21. (let res (Append res (<= (Int32 '5) (Uint64 '5))))
  22. (let res (Append res (<= (Int32 '-1) (Uint64 '5))))
  23. (let res (Append res (<= (Int32 '1) (Uint64 '5))))
  24. (let res (Append res (<= (Uint64 '1) (Int32 '-2))))
  25. (let world (Write! world res_sink (Key) res '('('type))))
  26. (let res (List (ListType (DataType 'Bool))))
  27. (let res (Append res (> (Int32 '5) (Uint64 '5))))
  28. (let res (Append res (> (Int32 '-1) (Uint64 '5))))
  29. (let res (Append res (> (Int32 '1) (Uint64 '5))))
  30. (let res (Append res (> (Uint64 '1) (Int32 '-2))))
  31. (let world (Write! world res_sink (Key) res '('('type))))
  32. (let res (List (ListType (DataType 'Bool))))
  33. (let res (Append res (>= (Int32 '5) (Uint64 '5))))
  34. (let res (Append res (>= (Int32 '-1) (Uint64 '5))))
  35. (let res (Append res (>= (Int32 '1) (Uint64 '5))))
  36. (let res (Append res (>= (Uint64 '1) (Int32 '-2))))
  37. (let world (Write! world res_sink (Key) res '('('type))))
  38. (let world (Commit! world res_sink))
  39. (return world)
  40. )