1 files changed, 18 insertions, 0 deletions
diff --git a/src/gen/gens.h b/src/gen/gens.h
index ace1a88..18c9815 100644
--- a/src/gen/gens.h
+++ b/src/gen/gens.h
@@ -30,6 +30,24 @@ GENERATOR(gens_gen_any);
 GENERATOR(gens_gen_one);
 
 /**
+ *
+ * @param curve
+ * @param args
+ * @param state
+ * @return
+ */
+CHECK(gens_check_anomalous);
+
+/**
+ *
+ * @param curve
+ * @param args
+ * @param state
+ * @return
+ */
+CHECK(gens_check_embedding);
+
+/**
  * UNROLL(unroll_f)
  *
  * @param curve