[isabelle] Word32/64 ?

Hi all,

Is there any code-generator setup to generate 32/(64) bit integers with modulo-arithmetic, mapped on the corresponding SML type (Word32) ? In the logic, the type Word.word has the intended behaviour, but how to get,e.g., "32 word", mapped to SML's "Word32" ?


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