| Mon, 06 Mar 2023 15:48:04 +0100 | wenzelm | clarified signature: more uniform operations; | changeset | files |
| Mon, 06 Mar 2023 15:38:50 +0100 | wenzelm | tuned signature: reduce boilerplate; | changeset | files |
| Mon, 06 Mar 2023 15:12:37 +0100 | wenzelm | tuned signature; | changeset | files |