```
open import public CwF.Base

module CwF where
```

This module just re-exports `CwF.Base`.