diff options
| author | Son Ho | 2022-02-08 19:41:14 +0100 |
|---|---|---|
| committer | Son Ho | 2022-02-08 19:41:14 +0100 |
| commit | f74da98b9972cf08104e6700302f333af65ba9b0 (patch) | |
| tree | 3b1c80509d4b55ea9356ea694004f7c42ee203e0 /fstar | |
| parent | d54b36be3d365b1a9a4ec8b12313b84c508ecd98 (diff) | |
Update the projection functions to take into account the option type
Diffstat (limited to 'fstar')
0 files changed, 0 insertions, 0 deletions