1 files changed, 5 insertions, 0 deletions
diff --git a/src/stdlib/datatypes.h b/src/stdlib/datatypes.h
index 40d9be3e..60b5dd55 100644
--- a/src/stdlib/datatypes.h
+++ b/src/stdlib/datatypes.h
@@ -73,6 +73,11 @@ typedef struct Empty$$struct {
 } Empty$$type;
 
 typedef struct {
+    bool has_value;
+    Empty$$type value;
+} $OptionalEmpty$$type;
+
+typedef struct {
     void *fn, *userdata;
 } Closure_t;