packages feed

clash-lib-1.6.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]