clash-lib-1.6.3: prims/common/GHC_TypeNats.primitives.yaml
- BlackBox:
name: GHC.TypeNats.natVal
kind: Expression
type: 'natVal :: forall
n proxy. KnownNat n => proxy n -> Natural'
template: ~ARG[0]
workInfo: Never
- Primitive:
name: GHC.TypeNats.someNatVal
primType: Functions
type: 'someNatVal :: Natural -> SomeNat'
workInfo: Never