Cryptol.Eval.Concrete

Documentation

module Cryptol.Backend.Concrete

type Value = GenValue Concrete

primTable :: IO EvalOpts -> Map PrimIdent (Prim Concrete)

toExpr :: PrimMap -> TValue -> Value -> Eval (Maybe Expr)

Given an expected type, returns an expression that evaluates to this value, if we can determine it.