sig   type t = matrix   val compare : t -> t -> int   val pretty : Format.formatter -> t -> unit end