diff options
| author | Alex AUVOLAT <alex.auvolat@ens.fr> | 2014-01-06 18:17:38 +0100 |
|---|---|---|
| committer | Alex AUVOLAT <alex.auvolat@ens.fr> | 2014-01-06 18:17:38 +0100 |
| commit | 62b36681f7a700018de11d74067a10a013597dd8 (patch) | |
| tree | 1e1d715a3e4ed211963848e0cc5cb36019400cb5 /src/pretty_typing.ml | |
| parent | 0e7268310b1fcac999a1b3f4e8f6f9b68e7783fc (diff) | |
| download | LPC-Projet-62b36681f7a700018de11d74067a10a013597dd8.tar.gz LPC-Projet-62b36681f7a700018de11d74067a10a013597dd8.zip | |
Use { x with ... }, excellent !
Diffstat (limited to 'src/pretty_typing.ml')
0 files changed, 0 insertions, 0 deletions