in _system.abc use a few more eqD_b instead of push_b and eq_desc_b and...
in _system.abc use a few more eqD_b instead of push_b and eq_desc_b and print_real instead of boxing the real and calling print_symbol_sc
Showing
Please register or sign in to comment