name: cwfs
include:
  src

flags:
  --cubical
  --no-load-primitives
  --postfix-projections
  --rewriting
  --guardedness
  --two-level
  -W noNoEquivWhenSplitting

depend:
  cubical-1lab