Class prod

util.hh:22–22

}

inline std::string pretty_type(struct prod *p)
{
  return pretty_type(typeid(*p).name());
}