Merge pull request #538 from FStarLang/afromher_misc

More helpers for basic int types
FStarLang · Feb 17, 2025 · 0894de5 · 0894de5
2 parents ec77220 + 36b63c9
commit 0894de5
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/lib/Helpers.ml b/lib/Helpers.ml
@@ -28,7 +28,9 @@ end
 (* Creating AST nodes *********************************************************)
 
 let uint8 = TInt K.UInt8
+let uint16 = TInt K.UInt16
 let uint32 = TInt K.UInt32
+let uint64 = TInt K.UInt64
 let usize = TInt K.SizeT
 
 let type_of_op op w =
@@ -346,7 +348,7 @@ class ['self] readonly_visitor = object (self: 'self)
     | EPolyComp _
     | EOp _ ->
         List.for_all (self#visit_expr_w ()) es
-    | EQualified _ 
+    | EQualified _
     when is_readonly_builtin_lid e ->
         List.for_all (self#visit_expr_w ()) es
     | ETApp ({ node = EQualified _; _ } as e, _, _, _)