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