mirror of
https://github.com/fluencelabs/lalrpop
synced 2025-03-26 21:21:03 +00:00
`None`, they use `Default::default`. You can always give an option yourself if that's what you want, after all, but most of the time it's kind of annoying!