sig
val
indomain :
Var
.
SetFd
.t
->
Goals
.t
end