[ "fr2_append ( ?@@? )" * ]
[ "fr2_plus ( ?+? )" * ]
[ "fr2_map ( ◊ ) ( ❨?,?❩;? )" * ]
+ }
]
[ { "generic relocation" * } {
[ "gr_sor ( ? ⋓ ? ≘ ? )" "gr_sor_eq" "gr_sor_tls" "gr_sor_isi" "gr_sor_fcla" "gr_sor_isf" "gr_sor_coafter_ist_isf" "gr_sor_sle" "gr_sor_sor" "gr_sor_sor_sle" * ]
[ "gr_basic ( 𝐛❨?,?❩ )" * ]
[ "gr_uni ( 𝐮❨?❩ )" "gr_uni_eq" * ]
[ "gr_id ( 𝐢 ) " "gr_id_eq" * ]
- [ "gr_tls ( ⫱*[?]? )" "gr_tls_eq" "gr_tls_pushs" "gr_tls_pushs_eq" "gr_tls_nexts_eq" * ]
+ [ "gr_tls ( â«°*[?]? )" "gr_tls_eq" "gr_tls_pushs" "gr_tls_pushs_eq" "gr_tls_nexts_eq" * ]
[ "gr_nexts ( ↑*[?]? )" "gr_nexts_eq" * ]
[ "gr_pushs ( ⫯*[?]? )" "gr_pushs_eq" * ]
- [ "gr_tl ( ⫱? )" "gr_tl_eq" "gr_tl_eq_eq" * ]
+ [ "gr_tl ( â«°? )" "gr_tl_eq" "gr_tl_eq_eq" * ]
[ "gr_eq ( ? ≡ ? )" * ]
[ "gr_map ( ⫯? ) ( ↑? )" * ]
+ }
]
(*
[ { "" * } {
"" "nstream_istot ( ?@❨?❩ )" "nstream_after ( ? ∘ ? )" "nstream_coafter ( ? ~∘ ? )"
"nstream_basic" ""
* ]
-*)
-(*
[ "trace ( ∥?∥ )" "trace_at ( @❪?,?❫ ≘ ? )" "trace_after ( ? ⊚ ? ≘ ? )" "trace_isid ( 𝐈❪?❫ )" "trace_isun ( 𝐔❪?❫ )"
- "trace_sle ( ? ⊆ ? )" "trace_sor ( ? ⋓ ? ≘ ? )" "trace_snot ( ∁ ? )" * ]
-*)
+ "trace_sle ( ? ⊆ ? )" "trace_sor ( ? ⋓ ? ≘ ? )" "trace_snot ( ∁ ? )"
+ * ]
}
]
+*)
}
]
class "grass"
class "yellow"
[ { "extensions to the library" * } {
[ { "streams" * } {
- [ "stream_tls ( â«°*{?}[?]? )" "stream_tls_eq" * ]
- [ "stream_hdtl ( â«°{?}? )" * ]
+ [ "stream_tls ( â\87£*{?}[?]? )" "stream_tls_eq" * ]
+ [ "stream_hdtl ( â\87£{?}? )" * ]
[ "stream_eq ( ? ≗{?} ? )" "stream_eq_eq" * ]
[ "stream ( ? ⨮{?} ? )" * ]
}