diff options
| author | Son Ho | 2022-05-06 10:26:54 +0200 |
|---|---|---|
| committer | Son Ho | 2022-05-06 10:26:54 +0200 |
| commit | a593c7638c9c675425a7a03f0981a1f19881be11 (patch) | |
| tree | f51ac9e58823d2d5a74dca433306d1f8e753f3fb /tests/hashmap_on_disk/HashmapMain.Opaque.fsti | |
| parent | 932d4479aa5c5f6d483e886d37d3c5e73d51c4ff (diff) | |
Add an option to eagerly end abstractions if a function has return type
unit and the abstractions don't contain loans
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions