From 14f1fedfe4b9e12343327956607ac5839e8bbdce Mon Sep 17 00:00:00 2001 From: Krasimir Angelov Date: Wed, 30 Aug 2017 09:19:53 +0200 Subject: [PATCH] document FunctionType in C# --- doc/runtime-api.html | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/doc/runtime-api.html b/doc/runtime-api.html index dd79eb152..90f862a0e 100644 --- a/doc/runtime-api.html +++ b/doc/runtime-api.html @@ -886,6 +886,10 @@ Det -> CN -> NP System.out.println(gr.getFunctionType("DetCN")); Det -> CN -> NP +
+Console.WriteLine(gr.FunctionType("DetCN"));
+Det -> CN -> NP
+

Type Checking Abstract Trees