Class.Semigroup: type of bend-lawful-stdlib@0.1.0.0
Import: import bend-lawful-stdlib@0.1.0.0/src/class.bend as Class
Lines 28-30 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=28&end_line=30

import Base

# an associative operation
type Semigroup<-A: Data> is Type:
  Semigroup{op: A -> A -> A, assoc: @x: A -> @y: A -> @z: A -> {op(x, op(y, z)) == op(op(x, y), z) : A}}

Uses (0):