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