-arg "-w -parsing,-redundant-canonical-projection,-notation-overridden,-projection-no-head-constant"
-R theories extructures

theories/ord.v
theories/fperm.v
theories/fset.v
theories/fmap.v
theories/ffun.v
