diff options
| author | Hugo Herbelin | 2018-09-20 13:32:08 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2018-09-27 13:28:36 +0200 |
| commit | 9afe18c3190bb0210e03bf40f3af101a7c5604da (patch) | |
| tree | ba359dff07cde680ff318c6c8f518d6ba6a21257 /kernel/nativecode.mli | |
| parent | 3dd31e9f94f09ec898ceb309082f147f3f40b1f2 (diff) | |
Scheme Equality: support for working in a context of Parameters.
It was working in very specific context of section variables. We make
it work similarly in the same kind of specific context of
Parameters. See test file SchemeEquality.v for the expected form. See
discussion at PR #8509.
Diffstat (limited to 'kernel/nativecode.mli')
0 files changed, 0 insertions, 0 deletions