def err_text

bolt@1.27.0.0 · src/args.bend:114

import bolt@1.27.0.0/src/args.bend as Args
import Base
import shake@0.6.0.0/main.bend as Shake

114# a parse error as the text the binary prints
115def err_text(ee: Shake.ParseErr) -> String:
116  Shake.err_text(spec(), ee)

Uses (4)

Used by (1)