From 155afdf9b76e37f4daed6d7d48dfd9e56844964f Mon Sep 17 00:00:00 2001
From: "kr.angelov" <kr.angelov@gmail.com>
Date: Thu, 27 Jun 2013 09:39:15 +0000
Subject: a complete Python API for reading, printing and manipulation of
 abstract trees and types. This includes dependent types, high-order abstract
 syntax and implicit arguments

---
 src/runtime/c/pgf/pgf.h | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'src/runtime/c/pgf/pgf.h')

diff --git a/src/runtime/c/pgf/pgf.h b/src/runtime/c/pgf/pgf.h
index 2e7e43584..bda70315e 100644
--- a/src/runtime/c/pgf/pgf.h
+++ b/src/runtime/c/pgf/pgf.h
@@ -107,6 +107,9 @@ void
 pgf_iter_functions_by_cat(PgfPGF* pgf, PgfCId catname,
                           GuMapItor* fn, GuExn* err);
 
+PgfType*
+pgf_function_type(PgfPGF* pgf, PgfCId funname);
+
 GuString
 pgf_print_name(PgfConcr*, PgfCId id);
 
-- 
cgit v1.2.3