- [ "stream ( ? @ ? )" "stream_eq ( ? ≐ ? )" "stream_hdtl ( ↓? )" "stream_tls ( ↓*[?]? )" * ]
- [ "list ( ◊ ) ( ? @ ? ) ( |?| )" "list2 ( ◊ ) ( {?,?} @ ? ) ( ? @@ ? ) ( |?| )" * ]
- [ "bool ( â\92» ) ( â\93\89 )" "arith ( ?^? ) ( ⫯? ) ( â«°? ) ( ? ∨ ? ) ( ? ∧ ? )" * ]
- [ "relations ( ? ⊆ ? )" "star" "lstar" * ]
+ [ "stream ( ? ⨮{?} ? )" "stream_eq ( ? ≗{?} ? )" "stream_hdtl ( ⫰{?}? )" "stream_tls ( ⫰*{?}[?]? )" * ]
+ [ "list ( ◊ ) ( ? ⨮{?} ? ) ( |?| )" "list2 ( ◊ ) ( {?,?} ⨮{?,?} ? ) ( |?| )" * ]
+ [ "bool ( â\92» ) ( â\93\89 )" "arith ( ?^? ) ( â\86\91? ) ( â\86\93? ) ( ? ∨ ? ) ( ? ∧ ? )" * ]
+ [ "logic ( ⊥ ) ( ⊤ )" "relations ( ? ⊆ ? )" "functions" "star" "ltc" * ]