Re: [petsc-dev] where is type(Mat) defined?