module Matrix: sig .. end
sig
end
val gcd : int -> int -> int
int -> int -> int
val pretty : int list Pretty_utils.formatter
int list Pretty_utils.formatter
val sizeof : int -> int list -> int
int -> int list -> int
val merge : int list -> int list -> int list
int list -> int list -> int list