Module Fcl_goals.Conjunto

module Conjunto: sig .. end

val indomain : Fcl_var.SetFd.t -> Fcl_goals.t

Non-deterministic instantiation of set variables (refine of Gervet's Conjunto).