Kernel/lib/ordset.pl

116     args:["List":"A list of terms", "Set":"A set or variable"],
133     args:["Term":"Any Term"],
153     args:["Term":"Any Term", "Set":"A set"],
169     args:["Set":"A set", "Term":"Any Term", "Remainder":"A variable or set"],
194     args:["Term":"Any Term", "Set":"A set", "Remainder":"A variable or set"],
213     args:["Term":"Any Term", "Set":"A set"],
230     args:["Rel":"A variable or an atom", "Set1":"A set", "Set2":"A set"],
273     args:["Set1":"A set", "Set2":"A set"],
300     args:["Set1":"A set", "Element":"A term", "Set2":"A set or variable"],
311     args:["Set1":"A set", "Element":"A term", "Set2":"A set or variable"],
342     args:["Set1":"A set", "Set2":"A set"],
367     args:["Set1":"A set", "Set2":"A set", "Intersection":"A set"],
380     args:["Set1":"A set", "Set2":"A set", "Intersection":"A set"],
416     args:["Set1":"A set", "Set2":"A set",
456     args:["Set1":"A set", "Set2":"A set"],
472     args:["Set1":"A set", "Set2":"A set"],
493     args:["Set1":"A set", "Set2":"A set"],
508     args:["Set1":"A set", "Set2":"A set"],
530     args:["Set1":"A set", "Set2":"A set"],
546     args:["Set1":"A set", "Set2":"A set", "Difference":"A set or variable"],
579     args:["Set1":"A set", "Set2":"A set", "Difference":"A set or variable"],
614     args:["Set1":"A set", "Set2":"A set", "Union":"A set or variable"],
629     args:["Set1":"A set", "Set2":"A set", "Union":"A set or variable",
666     args:["Set1":"A set", "Set2":"A set", "Union":"A set or variable"],
695     args:["Sets":"A list of sets", "Union":"A set or variable"],
718     args:["Sets":"A list of sets", "Intersection":"A set or variable"],