Home
last modified time | relevance | path

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

/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Syntax/Scope/
H A DBase.hs698 zipScope_ :: (NamesInScope -> NamesInScope -> NamesInScope ) ->
702 zipScope_ fd fm fs = zipScope (const fd) (const fm) (const fs) function
752 mergeScope = zipScope_ mergeNames mergeNames Set.union