diff options
| author | Jason Gross | 2014-01-24 17:32:46 -0500 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2014-01-24 23:53:00 +0100 |
| commit | c8bd5bc0f434d95f3244e44f7bc1731db3448050 (patch) | |
| tree | 622a653204fa1e29467a3cf53d01a2f56c815174 /kernel/nativelambda.mli | |
| parent | 30986b6e7616e9c170b012bb00dff80603d84c76 (diff) | |
[Coercion]s use [Sortclass], not [Prop] (in docs)
Reported By: J. Ian Johnson
Diffstat (limited to 'kernel/nativelambda.mli')
0 files changed, 0 insertions, 0 deletions