diff options
| author | Brian Campbell | 2018-07-17 15:50:08 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-07-17 15:50:08 +0100 |
| commit | ba4250ac585a247ab71656f57aced6857b98ecea (patch) | |
| tree | b2b8f15efa3cd75681ada8d263b0faaf595182ae /src/state.ml | |
| parent | 904b625c79b8f96d758a880918cdf6901d2b9ebf (diff) | |
Coq: support returning rich integer types from effectful functions
(e.g., coerce_int_nat in aarch64)
Diffstat (limited to 'src/state.ml')
0 files changed, 0 insertions, 0 deletions