[Why3-club] modules and names

Johannes Kanig kanig at adacore.com
Fri Feb 17 10:22:51 CET 2012

On 02/16/2012 06:06 PM, Andrei Paskevich wrote:
> One possibility would be to give reasonably long names to identifiers
> (e.g. "type std_integer") and then "use Standard_integer as SI", so that
> the qualified name would be "SI.std_integer".

Thanks for your advice.

Best regards,


Johannes Kanig <kanig at adacore.com>

More information about the Why3-club mailing list