loa

commit bffab73a7f79fda23ab30cebbd302c6b68c8813c
parent 44aaa0b9491720601ab0e600badec6a04b66941e
Author: Juan F. Meleiro <juan@juanmeleiro.mat.br>
Date:   Thu, 11 Apr 2024 18:13:50 -0300

Add interface for model

Diffstat:
A
coding/model.h
 | 
9
+++++++++

1 file changed, 9 insertions(+), 0 deletions(-)
diff --git a/coding/model.h b/coding/model.h
@@ -0,0 +1,9 @@
+#include "schema.h"
+
+schema *context_schema(void);
+schema *attitude_schema(void);
+schema *assumption_schema(void);
+schema *term_schema(void);
+schema *vars_schema(void);
+schema *term_list_schema(void);
+schema *proof_schema(void);