View on GitHub
SubstitutionPolicy
enum SubstitutionPolicy : SendableA policy for substituting variables during reification.
-
Free variables are substituted by errors.
Declaration
Swift
case substitutedByError -
Free variables are kept.
Declaration
Swift
case kept -
Returns the application of this policy to
t.Declaration
Swift
fileprivate func callAsFunction(_ t: TypeVariable) -> AnyType -
Returns the application of this policy to
t.Declaration
Swift
fileprivate func callAsFunction(_ t: TermVariable) -> AnyTerm