GHC_Num_Natural.primitives.yaml

- Primitive:
    name: ["GHC.Num.Natural.NS", "GHC.Internal.Bignum.Natural.NS"]
    comment: Needed to make the evaluator handle this constructor strictly
    primType: Constructor
    warning: 'GHC.Num.Natural.NS: Naturals are dynamically sized in simulation, but
      fixed-length after synthesis. Use carefully.'
    workInfo: Never
- Primitive:
    name: ["GHC.Num.Natural.NB", "GHC.Internal.Bignum.Natural.NB"]
    comment: Needed to make the evaluator handle this constructor strictly
    primType: Constructor
    warning: 'GHC.Num.Natural.NB: Naturals are dynamically sized in simulation, but
      fixed-length after synthesis. Use carefully.'
    workInfo: Never
- BlackBox:
    name: ["GHC.Num.Natural.naturalAdd", "GHC.Internal.Bignum.Natural.naturalAdd"]
    kind: Expression
    type: 'naturalSub :: Natural
      -> Natural -> Natural'
    template: ~ARG[0] + ~ARG[1]
    warning: 'GHC.Num.Natural.naturalAdd: Naturals are dynamically sized in simulation,
      but fixed-length after synthesis. Use carefully.'
- Primitive:
    name: ["GHC.Num.Natural.naturalSub", "GHC.Internal.Bignum.Natural.naturalSub"]
    primType: Function
    warning: 'GHC.Num.Natural.naturalSub: Naturals are dynamically sized in simulation,
      but fixed-length after synthesis. Use carefully.'
    workInfo: Never
- BlackBox:
    name: ["GHC.Num.Natural.naturalSubUnsafe", "GHC.Internal.Bignum.Natural.naturalSubUnsafe"]
    kind: Expression
    type: 'naturalSubUnsafe
      :: Natural -> Natural -> Natural'
    template: ~ARG[0] - ~ARG[1]
    warning: 'GHC.Num.Natural.naturalSubUnsafe: Naturals are dynamically sized in
      simulation, but fixed-length after synthesis. Use carefully.'
- BlackBox:
    name: ["GHC.Num.Natural.naturalSubThrow", "GHC.Internal.Bignum.Natural.naturalSubThrow"]
    kind: Expression
    type: 'naturalSubThrow
      :: Natural -> Natural -> Natural'
    template: ~ARG[0] - ~ARG[1]
    warning: 'GHC.Num.Natural.naturalSubThrow: Naturals are dynamically sized in simulation,
      but fixed-length after synthesis. Use carefully.'
- BlackBox:
    name: ["GHC.Num.Natural.naturalMul", "GHC.Internal.Bignum.Natural.naturalMul"]
    kind: Expression
    type: 'naturalMul :: Natural
      -> Natural -> Natural'
    template: ~ARG[0] * ~ARG[1]
    warning: 'GHC.Num.Natural.naturalMul: Naturals are dynamically sized in simulation,
      but fixed-length after synthesis. Use carefully.'
- Primitive:
    name: ["GHC.Num.Natural.naturalGcd", "GHC.Internal.Bignum.Natural.naturalGcd"]
    primType: Function
    warning: 'GHC.Num.Natural.naturalGcd: Naturals are dynamically sized in simulation,
      but fixed-length after synthesis. Use carefully.'
    workInfo: Never
- Primitive:
    name: ["GHC.Num.Natural.naturalLcm", "GHC.Internal.Bignum.Natural.naturalLcm"]
    primType: Function
    warning: 'GHC.Num.Natural.naturalLcm: Naturals are dynamically sized in simulation,
      but fixed-length after synthesis. Use carefully.'
    workInfo: Never