diff options
| author | Alasdair Armstrong | 2018-08-06 20:27:01 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-08-06 20:34:11 +0100 |
| commit | 0cb1e506866873f8886baf7631878ed956f1e8f5 (patch) | |
| tree | 0e0d76c627c318ccbef100e65001bd60c38f62fe /src/lem_interp/run_interp_model.ml | |
| parent | d334535562953959c965ccace6392b0d87d1fb89 (diff) | |
Cast each argument to a polymorphic constructor into it's most general type
Diffstat (limited to 'src/lem_interp/run_interp_model.ml')
0 files changed, 0 insertions, 0 deletions