diff options
| author | Son Ho | 2022-04-20 11:51:39 +0200 |
|---|---|---|
| committer | Son Ho | 2022-04-20 11:51:39 +0200 |
| commit | baa2c0d091b56f97127f536640e2274256072360 (patch) | |
| tree | 4cf80c60c2889ebb526bc35a2869bde4e73d0901 /fstar/Primitives.fst | |
| parent | a5f685ae8d5f5ce5f6052b13bad2208364e003c5 (diff) | |
Update the evaluation of matches for the cases where the scrutinee is a
shared loan
Diffstat (limited to 'fstar/Primitives.fst')
0 files changed, 0 insertions, 0 deletions