| commit | 1a2d50dbac05d12f1d1c0d8e89fc0d48448f0e4c | |
| author | Mikulas Patocka <mikulas@twibright.com> | |
| Sat, 18 Jan 2025 16:02:35 +0000 (18 17:02 +0100) | ||
| committer | Mikulas Patocka <mikulas@twibright.com> | |
| Sat, 18 Jan 2025 16:02:35 +0000 (18 17:02 +0100) | ||
| tree | 8bf1d11c11678d997cf805cf1e82fd82da7c2242 | treesnapshot (tar.gz zip) |
| parent | 111c4978f89ffa4abd0c2f5b305f3bef7ae9ab7f | commitdiff |
return unit_type from verify_function, so that it can modify the context
and the modifications are not propagated back
and the modifications are not propagated back