diff options
| author | Pierre-Marie Pédrot | 2017-08-27 21:33:55 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2017-08-27 21:35:48 +0200 |
| commit | 6bb9c33f0e35a694ca253bc766f9a235d2073a4f (patch) | |
| tree | 638d69bdafdf75f21fb7f6b5a1a46644c4bec867 /doc | |
| parent | 0a5097752646f5bf3fd542880d4e33ece771f588 (diff) | |
Do not reuse the Val.t type in toplevel values.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions