-R . Stdlib
# to handle when requiring Rocq >= 9.2
-arg -w -arg -notation-for-abbreviation
-arg -w -arg -ltac2-notation-for-abbreviation
