diff options
| author | Maxime Dénès | 2018-09-12 17:12:20 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2018-09-12 17:12:20 +0200 |
| commit | 60103f4af881485c0f905ebcb6710b31744466d0 (patch) | |
| tree | 42c9f735a4904f7c97b8b47368c04c1a9eccc1c9 /kernel/nativecode.ml | |
| parent | e3e1f56c38f345bccf984dd6d6d86fa06e423b96 (diff) | |
| parent | 55a328bb38f112cf2f456de4f1d9fc1bccaf88b1 (diff) | |
Merge PR #7109: Term combinators respecting the canonical structure of branches and return predicate
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions