diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2018-03-09 15:56:02 +0100 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2018-03-09 15:56:02 +0100 |
commit | 5542ffe43dde333cec6d118fd4b0424313330c33 (patch) | |
tree | 182feef6543c2b085e2e0312d6685875754d7250 /toplevel/usage.mli | |
parent | 3d86afb36517c9ba4200289e169239f7fa54fca1 (diff) | |
parent | 056c2cf46acfc1edcecf8e9b6f969b0415f78b52 (diff) |
Merge PR #6480: Allow Prop as source for coercions
Diffstat (limited to 'toplevel/usage.mli')
0 files changed, 0 insertions, 0 deletions