-arg -w -arg -redundant-canonical-projection
-arg -w -arg -projection-no-head-constant
-arg -w -arg -abstract-large-number
-arg -w -arg -disj-pattern-notation
-arg -w -arg -notation-overridden
-arg -w -arg +elpi.typecheck

examples_stdlib/demo1/hierarchy_0.v
examples_stdlib/demo1/hierarchy_1.v
examples_stdlib/demo1/hierarchy_2.v
examples_stdlib/demo1/hierarchy_3.v
examples_stdlib/demo1/hierarchy_4.v
examples_stdlib/demo1/hierarchy_5.v
examples_stdlib/demo1/test_0_0.v
examples_stdlib/demo1/test_1_0.v
examples_stdlib/demo1/test_2_0.v
examples_stdlib/demo1/test_3_0.v
examples_stdlib/demo1/test_3_3.v
examples_stdlib/demo1/test_4_0.v
examples_stdlib/demo1/test_4_3.v
examples_stdlib/demo1/test_5_0.v
examples_stdlib/demo1/test_5_3.v

examples_stdlib/demo2/classical.v
examples_stdlib/demo2/stage10.v
examples_stdlib/demo2/stage11.v

examples_stdlib/FSCD2020_material/V1.v
examples_stdlib/FSCD2020_material/V2.v
examples_stdlib/FSCD2020_material/V3.v
examples_stdlib/FSCD2020_material/V4.v

examples_stdlib/FSCD2020_talk/V1.v
examples_stdlib/FSCD2020_talk/V2.v
examples_stdlib/FSCD2020_talk/V3.v

examples_stdlib/Coq2020_material/CoqWS_demo.v
examples_stdlib/Coq2020_material/CoqWS_abstract.v
examples_stdlib/Coq2020_material/CoqWS_expansion/withHB.v
examples_stdlib/Coq2020_material/CoqWS_expansion/withoutHB.v

tests_stdlib/exports.v
tests_stdlib/exports2.v
tests_stdlib/funclass.v

-R tests_stdlib HB.tests_stdlib
-R examples_stdlib HB.examples_stdlib

-Q HB HB
