메소드 | 설명 | |
---|---|---|
DivideExpr ( ITypeCheckExpr l, ITypeCheckExpr r ) : System | ||
TypeCheck ( ITypeEnvironment env ) : ITypeCheckType |
public DivideExpr ( ITypeCheckExpr l, ITypeCheckExpr r ) : System | ||
l | ITypeCheckExpr | |
r | ITypeCheckExpr | |
리턴 | System |
public TypeCheck ( ITypeEnvironment env ) : ITypeCheckType | ||
env | ITypeEnvironment | |
리턴 | ITypeCheckType |