module Fcl_genesis: sig .. end
sig
end
val urbcsp : int -> int -> int -> int -> (int * int * (int * int) list) list
int -> int -> int -> int -> (int * int * (int * int) list) list