diff options
| author | Robert Norton | 2017-04-20 11:52:21 +0100 |
|---|---|---|
| committer | Robert Norton | 2017-04-20 11:52:21 +0100 |
| commit | c8d5abad7f46df85ec6e1d47c28454077354c066 (patch) | |
| tree | fe05dac5368345ff723620668746e9e4e14c9fe4 /src/initial_check.mli | |
| parent | 69010a4328be6e26ecb8e14073cb16c30a38d52c (diff) | |
add support for cheri128 ocaml shallow embedding
Diffstat (limited to 'src/initial_check.mli')
0 files changed, 0 insertions, 0 deletions