diff options
| author | Son Ho | 2023-12-13 10:55:57 +0100 |
|---|---|---|
| committer | Son Ho | 2023-12-13 10:55:57 +0100 |
| commit | 496a3849d1d6ba880bbd1e86c8ef5e2257bb702a (patch) | |
| tree | d2c0232c89843400fe7882b0e941f44bff8f10bf /tests/fstar/betree_back_stateful | |
| parent | 22009543d86895b9f680d3a4abdea00302ad5f1e (diff) | |
Add the num_fwd_inputs_no_fuel_no_state field in Pure.fun_sig
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions