diff

type DelimDiff struct {
	Term            TermDiff
	Sep             TermDiff
	Assoc           InterfaceDiff
	CanStartWithSep InterfaceDiff
	CanEndWithSep   InterfaceDiff
}

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

type InterfaceDiff struct {
	A, B any
}

type NamedDiff struct {
	Name InterfaceDiff
	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
	Max  InterfaceDiff
}

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 struct {
	InterfaceDiff
}