diff

type DelimDiff struct {
	Term            TermDiff
	Sep             TermDiff
	Assoc           InterfaceDiff[parser.Associativity]
	CanStartWithSep InterfaceDiff[bool]
	CanEndWithSep   InterfaceDiff[bool]
}

type GrammarDiff struct {
	OnlyInA []parser.Rule
	OnlyInB []parser.Rule
	Prods   map[parser.Rule]TermDiff
}

type InterfaceDiff[T comparable] struct {
	A, B T
}

type NamedDiff struct {
	Name InterfaceDiff[string]
	Term TermDiff
}

type NodeDiff struct {
	A, B     *parser.Node
	Children map[int]NodeDiff
	Types    map[int][2]reflect.Type
}

type OneofDiff termsesDiff

type QuantDiff struct {
	Term TermDiff
	Min  InterfaceDiff[int]
	Max  InterfaceDiff[int]
}

type REDiff struct {
	A, B parser.RE
}

type RefDiff struct {
	A, B parser.REF
}

type Report interface {
	Equal() bool
}

type RuleDiff struct {
	A, B parser.Rule
}

type SDiff struct {
	A, B parser.S
}

type ScopedGrammarDiff struct {
	Term    TermDiff
	Grammar GrammarDiff
}

type SeqDiff termsesDiff

type TermDiff interface {
	Report
}

type TowerDiff termsesDiff

type TypesDiffer[T comparable] struct {
	InterfaceDiff[T]
}