| Portability | unportable |
|---|---|
| Stability | unstable |
| Maintainer | Andreas Schnabl <andreas.schnabl@uibk.ac.at> |
| Safe Haskell | Safe-Infered |
Tct.Encoding.Natring
Description
Documentation
type GenSizeNatFormula l = Size -> NatFormula l
type GenSizeArcFormula l = Size -> ArcFormula l