diff options
| author |  Matthieu Sozeau <mattam@mattam.org> | 2014-02-14 14:19:53 +0100 |
|---|---|---|
| committer | Matthieu Sozeau <mattam@mattam.org> | 2014-05-06 09:58:57 +0200 |
| commit | df5e18302e113370906d9ca0b2a2e96dcaccbf0a (patch) | |
| tree | f2610a6048d872247575abd7c9dfe2c9e0873254 /library/library.mli | |
| parent | 98e9c806dee5ab8c3430000a9a9fd5d478662ae6 (diff) | |
Honor the Opaque flag for projections in simpl.
Diffstat (limited to 'library/library.mli')
0 files changed, 0 insertions, 0 deletions