1 files changed, 37 insertions, 0 deletions
diff --git a/src/runtime/c/gu/choice.h b/src/runtime/c/gu/choice.h
new file mode 100644
index 000000000..aea76dde8
--- /dev/null
+++ b/src/runtime/c/gu/choice.h
@@ -0,0 +1,37 @@
+#ifndef GU_CHOICE_H_
+#define GU_CHOICE_H_
+
+#include <gu/mem.h>
+
+typedef struct GuChoice GuChoice;
+
+typedef struct GuChoiceMark GuChoiceMark;
+
+GuChoice*
+gu_new_choice(GuPool* pool);
+
+int
+gu_choice_next(GuChoice* ch, int n_choices);
+
+GuChoiceMark
+gu_choice_mark(GuChoice* ch);
+
+void
+gu_choice_reset(GuChoice* ch, GuChoiceMark mark);
+
+bool
+gu_choice_advance(GuChoice* ch);
+
+
+// private
+
+struct GuChoiceMark {
+	size_t path_idx;
+};
+
+
+
+
+
+
+#endif // GU_CHOICE_H_