View on GitHub
DisjunctiveConstraintProtocol
protocol DisjunctiveConstraintProtocol : ConstraintA set of predicates that is satisfied if at least one of them is satisfied.
-
The type of a specific choice in instances of this type.
Declaration
Swift
associatedtype Predicate : DisjunctiveConstraintTerm -
The predicates of this disjunctive constraints.
Declaration
Swift
var choices: [Predicate] { get } -
collectOpenVariables(in:Extension method) Inserts the type variables that occur free in
selfintos.Declaration
Swift
func collectOpenVariables(in s: inout Set<TypeVariable>)