unison-parser-typechecker-0.0.0
Safe HaskellSafe-Inferred
LanguageHaskell2010

Unison.Codebase.TermEdit.Typing

Documentation

typing :: Var v => Type v loc -> Type v loc -> Typing Source #