Home
last modified time | relevance | path

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

/dports/security/hs-cryptol/cryptol-2.11.0/src/Cryptol/ModuleSystem/
H A DEnv.hs210 | NameIsDynamicDecl constructor
241 $ declsProv NameIsDynamicDecl dynDecls
/dports/security/hs-cryptol/cryptol-2.11.0/src/Cryptol/REPL/
H A DCommand.hs1342 M.NameIsDynamicDecl -> Left 2
1352 M.NameIsDynamicDecl -> "REPL"