"rtmap_fcla ( đâŠ?⊠â ? )" "rtmap_isfin ( đ
âŠ?⊠)" "rtmap_isuni ( đâŠ?⊠)" "rtmap_uni ( đâŽ?â” )"
"rtmap_sle ( ? â ? )" "rtmap_sdj ( ? â„ ? )" "rtmap_sand ( ? â ? â ? )" "rtmap_sor ( ? â ? â ? )"
"rtmap_at ( @âŠ?,?⊠â ? )" "rtmap_istot ( đâŠ?⊠)" "rtmap_after ( ? â ? â ? )" "rtmap_coafter ( ? ~â ? â ? )"
+ "rtmap_basic ( đâŽ?,?â” )"
* ]
[ "nstream ( â«Ż? ) ( â? )" "nstream_eq" "" "" "" "" "nstream_isid" "nstream_id ( đđ )" ""
"" "" "" "" "" "" "" "nstream_sor" "" "nstream_istot ( ?@âŽ?â” )" "nstream_after ( ? â ? )" "nstream_coafter ( ? ~â ? )"
[ "trace ( â„?â„ )" "trace_at ( @âŠ?,?⊠â ? )" "trace_after ( ? â ? â ? )" "trace_isid ( đâŠ?⊠)" "trace_isun ( đâŠ?⊠)"
"trace_sle ( ? â ? )" "trace_sor ( ? â ? â ? )" "trace_snot ( â ? )" * ]
*)
- [ "mr2" "mr2_at ( @âŠ?,?⊠â ? )" "mr2_plus ( ? + ? )" "mr2_minus ( ? â ? â ? )" * ]
+ [ "mr2 ( â ) ( {?,?};? )" "mr2_at ( @âŠ?,?⊠â ? )" "mr2_plus ( ? + ? )" "mr2_minus ( ? â ? â ? )" * ]
}
]
}
class "yellow"
[ { "extensions to the library" * } {
[ { "" * } {
- [ "stream ( ? @ ? )" "stream_eq ( ? â ? )" "stream_hdtl ( â«°? )" "stream_tls ( â«°*[?]? )" * ]
- [ "list ( Ăą\97\8a ) ( ? @ ? ) ( |?| )" "list2 ( Ăą\97\8a ) ( {?,?} @ ? ) ( ? @@ ? ) ( |?| )" * ]
+ [ "stream ( ? âšź{?} ? )" "stream_eq ( ? â{?} ? )" "stream_hdtl ( â«°{?}? )" "stream_tls ( â«°*{?}[?]? )" * ]
+ [ "list ( Ăą\92Âș{?} ) ( ? ùšŸ{?} ? )" "list_length ( |?| )" * ]
[ "bool ( â» ) ( â )" "arith ( ?^? ) ( â? ) ( â? ) ( ? âš ? ) ( ? ⧠? )" * ]
- [ "relations ( ? â ? )" "star" "lstar" * ]
+ [ "logic ( â„ ) ( †)" "relations ( ? â ? )" "functions" "exteq ( ? â{?,?} ? )" "star" "ltc" * ]
}
]
}
]
class "orange"
- [ { "generated logical decomposables" * } {
- [ { "" * } {
- [ "xoa ( ââ ) ( âšâš ) ( â§â§ )" "xoa_props ( â„ ) ( †)" * ]
+ [ { "generated library" * } {
+ [ { "equality insertion" * } {
+ [ "insert_eq" * ]
+ }
+ ]
+ [ { "logical decomposables" * } {
+ [ "xoa ( ââ ) ( âšâš ) ( â§â§ )" * ]
}
]
}