Cryptol.Eval.Type
evalType
evalTF