| ||||||||||||||||
| ||||||||||||||||
Synopsis | ||||||||||||||||
| ||||||||||||||||
Documentation | ||||||||||||||||
| ||||||||||||||||
Check if a type is the primSize type. The argument should be reduced. | ||||||||||||||||
| ||||||||||||||||
| ||||||||||||||||
| ||||||||||||||||
| ||||||||||||||||
| ||||||||||||||||
Compute the size view of a term. The argument should be reduced. Precondition: sized types are enabled. | ||||||||||||||||
| ||||||||||||||||
Turn a size view into a term. | ||||||||||||||||
Produced by Haddock version 2.4.2 |