~/jendhub

def as_nat

cli@0.2.0.0 · cli.bend:1173

import cli@0.2.0.0/cli.bend as Cli
import Base

1173def as_nat() -> Item:
1174  As{TNat{}}

Uses (2)

Used by (0)

No other definition uses this definition.