The unpac monorepo manager self-hosting as a monorepo using unpac
Classic.kneser: bound on n
+1
-1
+1
-1
vendor/opam/ocamlgraph/src/classic.ml
+1
-1
vendor/opam/ocamlgraph/src/classic.ml
···
108
108
loop g 0 0, v
109
109
110
110
let kneser ~n ~k =
111
-
if n < 0 || k > n then invalid_arg "kneser";
111
+
if n < 0 || n > Sys.int_size || k < 0 || k > n then invalid_arg "kneser";
112
112
let vert = Hashtbl.create (1 lsl n) in
113
113
let add x = Hashtbl.add vert x (B.G.V.create x) in
114
114
let rec visit mask n k =