map[dom, <, codom] | cache | (dom -> codom) ** map[dom, <, codom] -> cache |
map[origin, <, struct] | findStruct | denotation ** map[origin, <, struct] -> option[origin] |
map[origin, <, struct] | lookup | map[origin, <, struct] ** name -> object |
map[origin, <, struct] | newOriginNo | map[origin, <, struct] -> nat |
method | fun | method -> method -> env ** general -> result |
method | fun | method -> method -> general -> result |
method | method | (method -> env ** general -> result) -> method |
method | method | (method -> general -> result) -> method |
method | method? | method -> bool : [1], [2] |
method | recursion | method -> env ** general -> result |
method | recursion | method -> general -> result |
method[general, result, env] | :: | (general -> bool) ** (method[general, result, env] -> env ** general -> result) ** method[general, result, env] -> method[general, result, env] |
method[general, result, env] | :: | (method[general, result, env] -> env ** special -> result) ** method[general, result, env] -> method[general, result, env] |
method[general, result, env] | :: | (method[general, result, env] -> method[general, result, env]) ** method[general, result, env] -> method[general, result, env] |
method[general, result] | :: | (general -> bool) ** (method[general, result] -> general -> result) ** method[general, result] -> method[general, result] |
method[general, result] | :: | (method[general, result] -> method[general, result]) ** method[general, result] -> method[general, result] |
method[general, result] | :: | (method[general, result] -> special -> result) ** method[general, result] -> method[general, result] |
method[sto, bool] | < | method[sto, bool] -> alpha ** alpha -> bool |
method[sto, bool] | = | method[sto, bool] -> alpha ** alpha -> bool |
method[sto, bool] | map | method[sto, bool] -> method[sto, bool] |
method[sto, bool] | seq | method[sto, bool] -> method[sto, bool] |
method[sto, bool] | set | method[sto, bool] -> method[sto, bool] |
method[value, com[void], output] | nat | method[value, com[void], output] -> output ** nat -> com[void] |
method[value, com[void], output] | print | method[value, com[void], output] -> output ** alpha -> com[void] |
method[value, com[void], output] | seq | method[value, com[void], output] -> method[value, com[void], output] |
method[value, com[void], output] | set | method[value, com[void], output] -> method[value, com[void], output] |
method[value, denotation] | nat | method[value, denotation] -> nat -> denotation |
method[value, denotation] | print | method[value, denotation] -> alpha -> denotation |
method[value, denotation] | seq | method[value, denotation] -> method[value, denotation] |
method[value, denotation] | set | method[value, denotation] -> method[value, denotation] |