_CoqProject

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

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