Cryptol.Eval

moduleEnv

data EvalEnv

emptyEnv

evalExpr

evalDecls

data EvalError

data WithBase a