def is_stale

yaml-for-bend@0.1.1.0 · scan.bend:522

import Base
import yaml-for-bend@0.1.1.0/token.bend as T

522# A simple key stays on one line and within 1024 characters.
523def is_stale(+kat: T.Mark, +at: T.Mark) -> Bool:
524  Bool.or(Nat.is_lt(T.mark.line(kat), T.mark.line(at)), Nat.is_lt(Nat.add(T.mark.idx(kat), 1024n), T.mark.idx(at)))