Home
last modified time | relevance | path

Searched defs:mergeScope (Results 1 – 3 of 3) sorted by relevance

/dports/java/openjdk8/jdk8u-jdk8u312-b07.1/nashorn/src/jdk/nashorn/internal/runtime/
H A DScriptRuntime.java375 public static ScriptObject mergeScope(final ScriptObject scope) { in mergeScope() method
/dports/java/openjdk8-jre/jdk8u-jdk8u312-b07.1/nashorn/src/jdk/nashorn/internal/runtime/
H A DScriptRuntime.java375 public static ScriptObject mergeScope(final ScriptObject scope) { in mergeScope() method
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Syntax/Scope/
H A DBase.hs752 mergeScope = zipScope_ mergeNames mergeNames Set.union function