Cryptol.Parser.Utils

translateExprToNumT