~/jendhub

def dimension

stelliferous@0.0.2.0 · machine_limits.bend:55

import stelliferous@0.0.2.0/machine_limits.bend as MachineLimits
import Base

55def dimension(limits: Limits) -> U32:
56  Limits{d,c,k,h,facts} = limits
57  d

Uses (2)

Used by (0)

No other definition uses this definition.