module MACHINE:KEY
(
Ctypes
)
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