def en

bendtorch-gpu@1.3.0.0 · main.bend:132

import Base

132def en(+cnt: Nat) -> EN:
133  EN{U32.from_nat(cnt)}