~/jendhub

def spec_err_text

shake@0.7.0.0 · main.bend:139

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

139# a report of `check` as one line
140def spec_err_text(err: K.SpecErr) -> String:
141  K.text(err)

Uses (3)

Used by (0)

No other definition uses this definition.