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