Yes, 'uy' is the suffix for UInt8 literals.
There's more documentation at
https://github.com/FStarLang/FStar/wiki/Machine-integers
-----Original Message-----
From: "Adam Langley via fstar-club" <fstar-club@lists.gforge.inria.fr>
Sent: 17/09/2017 20:18
To: "fstar-club@lists.gforge.inria.fr" <fstar-club@lists.gforge.inria.fr>
Subject: [fstar-club] Integer literal suffixes
Is there an integer literal suffix for UInt8 (or any other type) in the same
fashion as 'ul' works for UInt32?
Cheers
AGL
--
Adam Langley a...@imperialviolet.org https://www.imperialviolet.org
_______________________________________________
fstar-club mailing list
fstar-club@lists.gforge.inria.fr
https://lists.gforge.inria.fr/mailman/listinfo/fstar-club
