diff options
| author | Peter Sewell | 2014-11-23 08:55:23 +0000 |
|---|---|---|
| committer | Peter Sewell | 2014-11-23 08:55:23 +0000 |
| commit | fab7f4ba6077d0934b9ad823043e6aafd7ce642d (patch) | |
| tree | aa2cb095648991e03279b32aa0ae72a80a902df8 /src/initial_check.mli | |
| parent | 16edc195ebbc11e1419f01f35c777743bdb1ff53 (diff) | |
OCaml stubs for coercions and _to_istate OCaml
Diffstat (limited to 'src/initial_check.mli')
0 files changed, 0 insertions, 0 deletions