Searched defs:mpzzp_manager (Results 1 – 2 of 2) sorted by relevance
77 mpzzp_manager(numeral_manager & _m): in mpzzp_manager() function