1 files changed, 7 insertions, 0 deletions
diff --git a/src/compile/optionals.h b/src/compile/optionals.h
new file mode 100644
index 00000000..ec5d1954
--- /dev/null
+++ b/src/compile/optionals.h
@@ -0,0 +1,7 @@
+#include "../stdlib/datatypes.h"
+#include "../types.h"
+
+Text_t check_none(type_t *t, Text_t value);
+Text_t optional_into_nonnone(type_t *t, Text_t value);
+Text_t promote_to_optional(type_t *t, Text_t code);
+Text_t compile_none(type_t *t);