Closed tahina-pro closed 1 month ago
Just like FStar.SizeT.sizet_to_uint32 defines a cast from size_t to uint32_t, this PR adds FStar.SizeT.sizet_to_uint64 to support casts from size_t to uint64_t, along with the corresponding Karamel extraction rule.
FStar.SizeT.sizet_to_uint32
size_t
uint32_t
FStar.SizeT.sizet_to_uint64
uint64_t
Just like
FStar.SizeT.sizet_to_uint32defines a cast fromsize_ttouint32_t, this PR addsFStar.SizeT.sizet_to_uint64to support casts fromsize_ttouint64_t, along with the corresponding Karamel extraction rule.