Home
last modified time | relevance | path

Searched refs:_scopeVarsToBind (Results 1 – 1 of 1) sorted by relevance

/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Syntax/Scope/
H A DBase.hs111 , _scopeVarsToBind :: LocalVars -- ^ The variables that will be bound at the end function
225 f (_scopeVarsToBind s) <&>
226 \x -> s { _scopeVarsToBind = x }
622 , _scopeVarsToBind = [] function