ddc-core-0.3.2.1: Disciplined Disciple Compiler core language and type checker.
class SpreadX c whereSource
spreadX :: forall n. Ord n => Env n -> Env n -> c n -> c nSource
Spread type annotations from binders and the environment into bound
occurrences of variables and constructors.
Also convert Bounds to UPrim form if the environment says that
they are primitive.
Produced by Haddock version 2.13.2