path: root/algebraic-structures.private.number.sum.scm

(module (algebraic-structures private number sum) (<> unit inv)
  (import scheme)

  (define (<> x y) (+ x y))

  (define unit 0)

  (define (inv x) (- x)))