sig
  type t = matrix
  val compare_dim : 'a option -> 'b option -> int
  val compare :
    Ctypes.c_object * 'a option list ->
    Ctypes.c_object * 'a option list -> int
  val pretty : Format.formatter -> Ctypes.c_object * int option list -> unit
end