def normal
import bend-lint-pack@0.1.1.0/vendor/lint.bend as Lintimport 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.