Cryptol.Parser.Utils

translateExprToNumT

widthIdent