type Three

bendtorch@1.3.0.0 · main.bend:2161

import bendtorch@1.3.0.0/main.bend as Bendtorch

import Base

2161type Three<-A: Type, -B: Type, -C: Type> is Type:
2162  Three{a: A, b: B, c: C}

Uses (0)

This definition uses no other definition.

Used by (6)