diff options
| author |  jadep <jade.philipoom@gmail.com> | 2016-07-08 09:52:29 -0400 |
|---|---|---|
| committer | jadep <jade.philipoom@gmail.com> | 2016-07-08 09:52:29 -0400 |
| commit | 36e046ee70ad0670e40409167b97384c17a4d236 (patch) | |
| tree | 8813c9ae8b2cf7524413352385307bebddd9dae9 /src/Util/Option.v | |
| parent | d669e825d3b4565a41eb214dc4762cd86a41bb9d (diff) | |
Util/Tuple: added a version of from_list that doesn't require a proof of length equality
Diffstat (limited to 'src/Util/Option.v')
0 files changed, 0 insertions, 0 deletions