~/jendhub

def host

cli@0.2.0.0 · cli.bend:2428

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

2428def host(width: Nat) -> Host:
2429  Host{width, [], False{}, False{}}

Uses (4)

Used by (0)

No other definition uses this definition.