~/jendhub

def Read

shake@0.7.0.0 · main.bend:143

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

143# one read a program makes of an argument, for `check_reads`
144def Read() -> Data:  # noqa: L001 a type alias of the interface
145  K.Read

Uses (1)

Used by (0)

No other definition uses this definition.