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