Class.Group: type of bend-lawful-stdlib@0.1.0.0
Import: import bend-lawful-stdlib@0.1.0.0/src/class.bend as Class
Lines 46-50 of bend-lawful-stdlib@0.1.0.0/src/class.bend: https://jend.leeeet.dev/read.txt?path=bend-lawful-stdlib@0.1.0.0/src/class.bend&start_line=46&end_line=50

import Base

# addition and subtraction that undo each other (wrapping integers)
type Group<-A: Data> is Type:
  Group{add: A -> A -> A, sub: A -> A -> A,
    sub_add: @a: A -> @b: A -> {a == sub(add(a, b), b) : A},
    add_sub: @a: A -> @b: A -> {a == add(sub(a, b), b) : A}}

Uses (0):