*
* This program is free software; you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
*
* This program is free software; you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
* Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
*/
* Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
*/
template <> void sprod::print(const print_context & c, unsigned level) const
{
const sprod_s & sp = get_struct();
c.s << "<" << sp.left << "|" << sp.right << ">";
}
template <> void sprod::print(const print_context & c, unsigned level) const
{
const sprod_s & sp = get_struct();
c.s << "<" << sp.left << "|" << sp.right << ">";
}