diff options
| author | Pierre-Marie Pédrot | 2020-01-12 14:46:36 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2020-01-16 20:39:31 +0100 |
| commit | 25e50a61ca7a8f6698a1579ee262a9e57395e479 (patch) | |
| tree | 951655643c9b3161d91b5784b9c7825f2aad23aa /kernel/nativecode.mli | |
| parent | 87fadda896162e3d314ecfcde2b90609927c5064 (diff) | |
Checker validation acts on object representations rather than objects.
Diffstat (limited to 'kernel/nativecode.mli')
0 files changed, 0 insertions, 0 deletions