diff options
| author | kr.angelov <kr.angelov@gmail.com> | 2014-10-31 19:57:56 +0000 |
|---|---|---|
| committer | kr.angelov <kr.angelov@gmail.com> | 2014-10-31 19:57:56 +0000 |
| commit | 70c70fa791ef1d1e2349095ea661508db664ca97 (patch) | |
| tree | dc46a1b6330574ffea5b41b36e2be601c2a4fa2a /src/runtime/c/pgf/hopu.h | |
| parent | b1e6a21c56c5aef62716c35546d4596e11bbbf94 (diff) | |
a skeletal module for higher-order pattern unification in the C runtime
Diffstat (limited to 'src/runtime/c/pgf/hopu.h')
| -rw-r--r-- | src/runtime/c/pgf/hopu.h | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/runtime/c/pgf/hopu.h b/src/runtime/c/pgf/hopu.h new file mode 100644 index 000000000..e012a3630 --- /dev/null +++ b/src/runtime/c/pgf/hopu.h @@ -0,0 +1,7 @@ +#ifndef HOPU_H +#define HOPU_H + +void pgf_pattern_unify(PgfEvalState* state, PgfClosure* c1, PgfClosure* c2); + +#endif + |