Type Definition consprob::TmpPartFuncSetMatsWithPosQuadruples

type TmpPartFuncSetMatsWithPosQuadruples = HashMap<PosQuadruple, TmpPartFuncSetMat>;