Commit 2024-07-14 20:04 73756969
View on Github →feat: DFA.acceptsFrom, DFA.map, DFA.equiv (#11372)
acceptsFrom
is used in #11311 to define left quotients.
feat: DFA.acceptsFrom, DFA.map, DFA.equiv (#11372)
acceptsFrom
is used in #11311 to define left quotients.