type Sigma
import Base25type Sigma<a, b, -A: Kind(a), -B: @-x: A -> Kind(b)> is Kind(a <&> b):
26 Tuple{fst: A, snd: B(fst)}
Uses (0)
This definition uses no other definition.
import Base25type Sigma<a, b, -A: Kind(a), -B: @-x: A -> Kind(b)> is Kind(a <&> b):
26 Tuple{fst: A, snd: B(fst)}
This definition uses no other definition.