void RingFpLogImpl::myDelete(RawPtr rawx) const { myMemMgr.free(rawx.myRawPtr()); }
void PPMonoidOvImpl::myDelete(RawPtr rawpp) const { myMemMgr.free(rawpp.myRawPtr()); }