Cryptol.Eval.Type

evalType

evalValType

evalNumType

evalTF