recover non-string representation of CE values
The former model_value
datatype for CE values contained, for constants like bitvectors or floats, both a verbatim (of type string) and a specific value. It would be better to have the same in the new concrete_syntax_value
type.
Moreover, the concrete_syntax_value
type should be documented in the chapter API of Why3 manual