diff options
| author | Tej Chajed | 2017-11-10 13:28:53 -0500 |
|---|---|---|
| committer | Tej Chajed | 2017-11-15 09:54:19 -0500 |
| commit | e247c6d0540b9b201a29ea95bdc4df9eeb472a2f (patch) | |
| tree | f2e0963c51f2bff89dc14550a354838364030a31 /kernel/nativelib.ml | |
| parent | d9f79d97dbc503e149cba2df1b228a94d7ac970b (diff) | |
Make list functions returning sumbools transparent
Specifically Exists_dec, Forall_dec, and Forall_Exists_dec.
Diffstat (limited to 'kernel/nativelib.ml')
0 files changed, 0 insertions, 0 deletions