FrontEnd Structures RewritingSystem OverlapIdentifier Structure Reference

OverlapIdentifier

private struct OverlapIdentifier : Hashable, Sendable

The identifier of an overlap between rewriting rules.

Show on GitHub

rawValue
The raw value of this identifier.
Declaration
Swift

private let rawValue: UInt64
Show on GitHub
init(_:_:at:)
Creates an instance identifying an overlap between lhs and rhs at the i-th position of lhs‘s source.
Declaration
Swift

init( _ lhs: RewritingSystem.RuleID, _ rhs: RewritingSystem.RuleID, at i: Term.Index )
Show on GitHub