structures.v
-arg -w -arg -elpi.accumulate-syntax
-arg -w -arg +elpi.typecheck
-Q . HB

-R tests HB.tests
-R examples HB.examples