mirror of
https://github.com/fluencelabs/lalrpop
synced 2025-03-26 21:21:03 +00:00
function that does the adaptation for optional location information (is optional location information even worth it, or should we just default to `()`)?