name: cwfs
include:
src
flags:
--cubical
--no-load-primitives
--postfix-projections
--rewriting
--guardedness
--two-level
-W noNoEquivWhenSplitting
depend:
cubical-1lab