diff options
| author | Pierre-Marie Pédrot | 2019-05-13 00:03:36 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2019-05-14 20:19:37 +0200 |
| commit | e74fce3090323b4d3734f84ee8cf6dc1f5e85953 (patch) | |
| tree | 4c738543dd88e68759fe9c198f0c48d12e73c4e4 /interp/implicit_quantifiers.ml | |
| parent | 106a7c4a86e4c164a73cbc5a4c14f3c4ff527f30 (diff) | |
Abstract away the implementation of side-effects in Safe_typing.
Diffstat (limited to 'interp/implicit_quantifiers.ml')
0 files changed, 0 insertions, 0 deletions