Helper to default tree equality to use structural equality.
Helper to default tree equality to use structural equality.
(implicits: implicits.XtensionExtractors[implicits]).extract(ev)
(implicits: contrib.XtensionExtractors[implicits]).extract(ev)
(implicits: ExtractExtensions.XtensionExtractors[implicits]).extract(ev)
(implicits: implicits.XtensionExtractors[implicits]).hasMod(mod)(ev)
(implicits: contrib.XtensionExtractors[implicits]).hasMod(mod)(ev)
(implicits: ExtractExtensions.XtensionExtractors[implicits]).hasMod(mod)(ev)
(implicits: implicits.ExtensionReplacers[implicits]).withMods(bs)(ev)
(implicits: contrib.ExtensionReplacers[implicits]).withMods(bs)(ev)
(implicits: ReplaceExtensions.ExtensionReplacers[implicits]).withMods(bs)(ev)
(implicits: implicits.ExtensionReplacers[implicits]).withStats(bs)(ev)
(implicits: contrib.ExtensionReplacers[implicits]).withStats(bs)(ev)
(implicits: ReplaceExtensions.ExtensionReplacers[implicits]).withStats(bs)(ev)