clarified signature: just one level of arguments to avoid type-inference problems;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLEec8bf1268f45: tuned signature: more operations;
- Branches
- Unknown
- Tags
clarified signature: just one level of arguments to avoid type-inferenceā¦ Tags None Subscribers None
Description
Details
|