~/jendhub

def read_err_text

shake@0.7.0.0 · main.bend:173

import shake@0.7.0.0/main.bend as Shake
import Base
import shake@0.7.0.0/src/check.bend as K

173# a report of `check_reads` as one line
174def read_err_text(err: K.ReadErr) -> String:  # noqa: L001 a message: its words are not a guarantee
175  K.read_text(err)

Uses (3)

Used by (0)

No other definition uses this definition.