Module Matrix.NATURAL

module NATURAL: WpContext.Key  with type t = matrix

type t 
val compare : t -> t -> int
val pretty : Format.formatter -> t -> unit