def normal

bend-lint-pack@0.1.1.0 · vendor/lint.bend:147

import bend-lint-pack@0.1.1.0/vendor/lint.bend as Lint
import Base

147# The normal form of a type, in the fact's scope.
148def normal(fact: Fact, t: Term) -> IO(Term):
149  import "./effects.js"

Uses (3)

Used by (0)

No other definition uses this definition.