diff options
| author | Brian Campbell | 2018-06-08 15:03:32 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-06-08 15:03:37 +0100 |
| commit | 70d2f7c92fb67c350794c7a71e1c9fba059e7940 (patch) | |
| tree | a7237f00187a0de4fcb83b2be2955167b2f729cf /src/test/lib/run_test_embed.ml | |
| parent | 7cdbee76d454047271ef6cdaa82a2b7e2ed590ba (diff) | |
Coq: some handling of existential types as function return types
Diffstat (limited to 'src/test/lib/run_test_embed.ml')
0 files changed, 0 insertions, 0 deletions