sig
val
check : int
->
int
->
int
->
int
->
unit
val
error : (unit
->
unit)
Pervasives
.ref
end