View on GitHub
ErrorTerm
public struct ErrorTerm : TermProtocolextension ErrorTerm: CustomStringConvertibleA term denoting a type checking error.
-
Declaration
Swift
public var flags: ValueFlags { get } -
Declaration
Swift
public var description: String { get }