def code_width

cli@0.2.0.0 · cli.bend:864

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

864def code_width(+code: U32) -> Nat:
865  code_width_by(U32.is_lt(code, 768), code)

Uses (4)

Used by (1)