mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-11-28 01:13:34 +03:00
Export evalSel from Cryptol.Eval
This is needed to do eta-expansion of values when using Cryptol as a library.
This commit is contained in:
parent
d38eab4b2c
commit
1dfc09e533
@ -25,6 +25,7 @@ module Cryptol.Eval (
|
||||
, emptyEnv
|
||||
, evalExpr
|
||||
, evalDecls
|
||||
, evalSel
|
||||
, EvalError(..)
|
||||
, forceValue
|
||||
) where
|
||||
|
Loading…
Reference in New Issue
Block a user