Agda-2.6.4.3: A dependently typed functional programming language and proof assistant
Safe HaskellSafe-Inferred
LanguageHaskell2010

Agda.TypeChecking.Lock

Documentation

checkLockedVars Source #

Arguments

:: Term

term to check

-> Type

its type

-> Arg Term

the lock

-> Type

type of the lock

-> TCM ()