Go backward to Dynamically Scoped Objects Go up to Top Go forward to Minimal Types |
pi |- E: theta_{1} |
pi |- E: theta_{2} |
pi |- E_{1}: tauexp | pi |- E_{2}: tauexp |
pi |- E_{1}+E_{2}: tauexp |
pi |- E: tau |
pi |- E: tauexp |
pi |- N: int |
pi |- N_{1}.N_{2}: real |