add forp

1 files changed, 18 insertions, 0 deletions

diff --git a/sys/src/cmd/forp/fns.h b/sys/src/cmd/forp/fns.h
new file mode 100644
index 000000000..0693835ad
--- /dev/null
+++ b/sys/src/cmd/forp/fns.h
@@ -0,0 +1,18 @@
+typedef struct SATSolve SATSolve;
+
+void *emalloc(ulong);
+void *erealloc(void *, ulong);
+void parse(char *);
+void error(Line *, char *, ...);
+Node *node(int t, ...);
+Symbol *symget(char *);
+void convert(Node *, uint);
+void obviously(Node *);
+void go(int);
+void assume(Node *);
+int satand1(SATSolve *, int *, int);
+int satandv(SATSolve *, ...);
+int sator1(SATSolve *, int *, int);
+int satorv(SATSolve *, ...);
+int satlogic1(SATSolve *, u64int, int *, int);
+int satlogicv(SATSolve *, u64int, ...);