diff options
| author | Krasimir Angelov <kr.angelov@gmail.com> | 2017-10-04 09:45:56 +0200 |
|---|---|---|
| committer | Krasimir Angelov <kr.angelov@gmail.com> | 2017-10-04 09:45:56 +0200 |
| commit | e3aa392e63b0d0f314b286d207cd187be5837ad8 (patch) | |
| tree | 65bbe804e9997669982550859178e69b64f27968 /src/runtime/c/pgf/expr.h | |
| parent | e426e87cf8a0eb722e4ffc2239d864d53f5e476f (diff) | |
further extend the API of the C runtime
Diffstat (limited to 'src/runtime/c/pgf/expr.h')
| -rw-r--r-- | src/runtime/c/pgf/expr.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/runtime/c/pgf/expr.h b/src/runtime/c/pgf/expr.h index 013de08f4..e560d3a83 100644 --- a/src/runtime/c/pgf/expr.h +++ b/src/runtime/c/pgf/expr.h @@ -235,6 +235,10 @@ pgf_print_type(PgfType *type, PgfPrintContext* ctxt, int prec, GuOut* out, GuExn *err); PGF_API_DECL void +pgf_print_context(PgfHypos *hypos, PgfPrintContext* ctxt, + GuOut *out, GuExn *err); + +PGF_API_DECL void pgf_print_expr_tuple(size_t n_exprs, PgfExpr exprs[], PgfPrintContext* ctxt, GuOut* out, GuExn* err); |