diff options
| author | Peter Sewell | 2014-11-23 00:31:44 +0000 |
|---|---|---|
| committer | Peter Sewell | 2014-11-23 00:31:44 +0000 |
| commit | d84d7d52d679a211d55db05f6ac438cb2ce220f2 (patch) | |
| tree | 74c8e533ca80f236ede7f86510956d9ec8a5e8af /src/finite_map.ml | |
| parent | 3a7f71003f35d88d41ad2b78a59b3cbb2058612c (diff) | |
some coercions
Diffstat (limited to 'src/finite_map.ml')
0 files changed, 0 insertions, 0 deletions