OverlapIdentifier
private struct OverlapIdentifier : Hashable, Sendable
The identifier of an overlap between rewriting rules.
-
The raw value of this identifier.
Declaration
Swift
private let rawValue: UInt64 -
Creates an instance identifying an overlap between
lhsandrhsat thei-th position oflhs‘s source.Declaration
Swift
init( _ lhs: RewritingSystem.RuleID, _ rhs: RewritingSystem.RuleID, at i: Term.Index )
View on GitHub