Re: [isabelle] Efficient Integers?



PS No, you don't get machine integers, that would be unsound. You get
big integers, which are language specific. I assume that in most of the
languages we support big integers are like machine integers plus some
fixed overhead, as long as you stay in the machine integer range.

Am 10/02/2012 09:34, schrieb Thomas Genet:
> 
> Dear Isabelle Users,
> 
> 
> I am looking for the equivalent of "Efficient_nat" but for integers,
> leading to exported code that uses machine integers rather than a term
> representation.
> 
> Best regards,
> 
> Thomas





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.