C# Class Purity.Compiler.Typechecker.Utilities.Environments

Mostra file Open project: paf31/Purity

Public Methods

Method Description
Empty ( ) : TypeCheckingEnvironment
Replace ( this e, string ident, IPartialType type ) : TypeCheckingEnvironment

Method Details

Empty() public static method

public static Empty ( ) : TypeCheckingEnvironment
return TypeCheckingEnvironment

Replace() public static method

public static Replace ( this e, string ident, IPartialType type ) : TypeCheckingEnvironment
e this
ident string
type IPartialType
return TypeCheckingEnvironment