Cryptol.Eval

moduleEnv

runEval

data Eval a

type EvalEnv

emptyEnv

evalExpr

evalDecls

data EvalError

forceValue