Méthode | Description | |
---|---|---|
GreaterThenExpr ( ITypeCheckExpr l, ITypeCheckExpr r ) : System | ||
TypeCheck ( ITypeEnvironment env ) : ITypeCheckType |
public GreaterThenExpr ( ITypeCheckExpr l, ITypeCheckExpr r ) : System | ||
l | ITypeCheckExpr | |
r | ITypeCheckExpr | |
Résultat | System |
public TypeCheck ( ITypeEnvironment env ) : ITypeCheckType | ||
env | ITypeEnvironment | |
Résultat | ITypeCheckType |