~/jendhub

def SpecErr

shake@0.7.0.0 · main.bend:48

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

48# one way a spec contradicts itself
49def SpecErr() -> Data:  # noqa: L001 a type alias of the interface
50  K.SpecErr

Uses (1)

Used by (0)

No other definition uses this definition.