module NATURAL:KEY(COBJ)
typet =Matrix.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