diff options
author | 2018-03-09 15:56:02 +0100 | |
---|---|---|
committer | 2018-03-09 15:56:02 +0100 | |
commit | 5542ffe43dde333cec6d118fd4b0424313330c33 (patch) | |
tree | 182feef6543c2b085e2e0312d6685875754d7250 /interp/syntax_def.ml | |
parent | 3d86afb36517c9ba4200289e169239f7fa54fca1 (diff) | |
parent | 056c2cf46acfc1edcecf8e9b6f969b0415f78b52 (diff) |
Merge PR #6480: Allow Prop as source for coercions
Diffstat (limited to 'interp/syntax_def.ml')
0 files changed, 0 insertions, 0 deletions