~/jendhub

def nothing

bend-lint-pack@0.1.1.0 · dead/def.bend:129

import bend-lint-pack@0.1.1.0/dead/def.bend as Def
import Base
import bend-lint-pack@0.1.1.0/vendor/lint.bend as Lint
import bend-lint-pack@0.1.1.0/common.bend as Common

129def nothing() -> Lint.Diag:
130  Common.diag(
131    Lint.Hint{},
132    "dead/def has nothing to measure from: the program has no `main`, no law and no `entries` option. Lint the entry file, or set `entries`.",
133    None{}
134  )

Uses (4)

Used by (1)