"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 ( ? ~โ ? )"
}
]
class "orange"
- [ { "generated logical decomposables" * } {
- [ { "" * } {
+ [ { "generated library" * } {
+ [ { "equality insertion" * } {
+ [ "insert_eq" * ]
+ }
+ ]
+ [ { "logical decomposables" * } {
[ "xoa ( โโ ) ( โจโจ ) ( โงโง )" * ]
}
]