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[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] | default | method[sto, 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] | default | method[value, com[void], output] |
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] | default | method[value, denotation] |
method[value, denotation] | seq | method[value, denotation] -> method[value, denotation] |
method[value, denotation] | set | method[value, denotation] -> method[value, denotation] |