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).