Agda-2.6.20240714: A dependently typed functional programming language and proof assistant
Safe HaskellNone
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 ()