Add DUntaggedUnion to FStar.Extraction.Kremlin

tahina-pro · Aug 13, 2021 · 341afa8 · 341afa8
1 parent e314fe1
commit 341afa8
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/extraction/FStar.Extraction.Kremlin.fs b/src/extraction/FStar.Extraction.Kremlin.fs
@@ -55,6 +55,7 @@ and decl =
   | DTypeVariant of lident * list<flag> * int * branches_t
   | DTypeAbstractStruct of lident
   | DExternal of option<cc> * list<flag> * lident * typ * list<ident>
+  | DUntaggedUnion of lident * list<flag> * int * list<(ident * typ)>
 
 and cc =
   | StdCall