clash-lib-1.10.0: prims/common/Clash_Sized_Internal_Signed.primitives.yaml
- BlackBox:
name: Clash.Sized.Internal.Signed.+#
kind: Expression
type: '(+#) :: KnownNat
n => Signed n -> Signed n -> Signed n'
template: ~ARG[1] + ~ARG[2]
- BlackBox:
name: Clash.Sized.Internal.Signed.-#
kind: Expression
type: '(-#) :: KnownNat
n => Signed n -> Signed n -> Signed n'
template: ~ARG[1] - ~ARG[2]