Ast.Substrate.Basic.Syntax.Typed Module


This module defines the following types:

TypedBasicPrettyPrinter Type

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

Implemented Interfaces

  • ISubstratePrettyPrinter
 

TypedBasicParser Type

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

Implemented Interfaces

  • ISubstrateParser
 

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

Last edited Jun 10, 2011 at 9:34 PM by gdecaso, version 2

Comments

No comments yet.