Module Facile.Goals.Conjunto

module Conjunto: sig .. end

val indomain : Facile.Var.SetFd.t -> Facile.Goals.t