Home
last modified time | relevance | path

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

/dports/security/hs-cryptol/cryptol-2.11.0/src/Cryptol/ModuleSystem/
H A DEnv.hs207 | NameIsLocalPublic constructor
242 : declsProv NameIsLocalPublic publicDecls
/dports/security/hs-cryptol/cryptol-2.11.0/src/Cryptol/REPL/
H A DCommand.hs1343 M.NameIsLocalPublic -> Left 3
1353 M.NameIsLocalPublic -> "Public"