diff options
| author | Pierre-Marie Pédrot | 2020-11-21 15:15:56 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2020-11-30 18:46:50 +0100 |
| commit | bb97b0fef935bbd80daf944c4093a56a808fdb94 (patch) | |
| tree | 2c2f420e3885673e716acc2171c78611d76a7229 /test-suite | |
| parent | b2d3d5f5d5f3e16e271a124f9f60a09788e93838 (diff) | |
Add an abstraction function in the LtacX FFI.
This allows to embed Ltac2 functions manipulating Ltac1 values as simple
Ltac1 values.
Diffstat (limited to 'test-suite')
0 files changed, 0 insertions, 0 deletions