Cryptol.Eval.Env

type ReadEnv

data EvalEnv

emptyEnv

bindVar

lookupVar

bindType

lookupType