diff options
| author | Krasimir Angelov <kr.angelov@gmail.com> | 2017-08-30 09:19:53 +0200 |
|---|---|---|
| committer | Krasimir Angelov <kr.angelov@gmail.com> | 2017-08-30 09:19:53 +0200 |
| commit | 14f1fedfe4b9e12343327956607ac5839e8bbdce (patch) | |
| tree | 578c64499b7b81e9183e08e152076d8b2e51c73b | |
| parent | 170c38bb587eb3ed1cefbea074f4788550896670 (diff) | |
document FunctionType in C#
| -rw-r--r-- | doc/runtime-api.html | 4 |
1 files changed, 4 insertions, 0 deletions
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 </pre> +<pre class="csharp"> +Console.WriteLine(gr.FunctionType("DetCN")); +Det -> CN -> NP +</pre> <h2>Type Checking Abstract Trees</h2> |