def sug.close.go

shake@0.7.0.0 · src/cli.bend:2331

import shake@0.7.0.0/src/cli.bend as Cli

import Base

2331# whether a candidate is close to the typed spelling
2332def sug.close.go(+dd: Nat, +room: Nat) -> Bool:
2333  Bool.and(Nat.is_lt(0n, dd), Nat.is_le(Nat.mul(3n, dd), room))

Uses (6)

Used by (1)

shake@0.7.0.0/src/cli:sug.close