law add_assoc

bend-lawful-stdlib@0.1.0.0 · src/nat.bend:12

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

12# plain binders, so it fits C.Semigroup's assoc field
13law add_assoc:
14  for a: Nat
15  for b: Nat
16  for c: Nat
17  {Nat.add(a, Nat.add(b, c)) == Nat.add(Nat.add(a, b), c) : Nat}