~/jendhub

def Group.add_sub

bend-lawful-stdlib@0.1.0.0 · src/class.bend:67

import bend-lawful-stdlib@0.1.0.0/src/class.bend as Class
import Base

67def Group.add_sub(-A: Data, d: Group<A>, a: A, b: A) -> {a == Group.add(A, d, Group.sub(A, d, a, b), b) : A}:
68  match d:
69    case Group{add, sub, sub_add, add_sub}:
70      add_sub(a, b)

Uses (3)

Used by (0)

No other definition uses this definition.