Module Matrix.P

module P: module type of Pervasives