Ast.Infon.Syntax.Typed Module


This module defines the following types:

TypedPrettyPrinter Type

The TypedPrettyPrinter prints AST elements into the typed concrete syntax, which carries type annotations in every function application and every variable

Implemented Interfaces

  • IInfonPrettyPrinter
  • IPrettyPrinter
 

TypedParser Type

The TypedParser parses the typed concrete syntax, which carries type annotations in every function application and every variable

Implemented Interfaces

  • IInfonParser
  • IParser
 

Automatically generated on 6/10/2011 2:28:40 PM
 

Last edited Jun 10, 2011 at 9:33 PM by gdecaso, version 3

Comments

No comments yet.