clash-lib-1.6.0: prims/common/Clash_Sized_Internal_Unsigned.primitives.yaml
- BlackBox:
name: Clash.Sized.Internal.Unsigned.+#
kind: Expression
type: '(+#) :: KnownNat
n => Unsigned n -> Unsigned n -> Unsigned n'
template: ~ARG[1] + ~ARG[2]
- BlackBox:
name: Clash.Sized.Internal.Unsigned.-#
kind: Expression
type: '(-#) :: KnownNat
n => Unsigned n -> Unsigned n -> Unsigned n'
template: ~ARG[1] - ~ARG[2]
- BlackBox:
name: Clash.Sized.Internal.Unsigned.unsignedToWord
kind: Expression
template: ~ARG[0]
- BlackBox:
name: Clash.Sized.Internal.Unsigned.unsigned8toWord8
kind: Expression
template: ~ARG[0]
- BlackBox:
name: Clash.Sized.Internal.Unsigned.unsigned16toWord16
kind: Expression
template: ~ARG[0]
- BlackBox:
name: Clash.Sized.Internal.Unsigned.unsigned32toWord32
kind: Expression
template: ~ARG[0]