diff options
| author | Arnaud Spiwack | 2014-10-02 09:12:47 +0200 |
|---|---|---|
| committer | Arnaud Spiwack | 2014-10-16 10:23:29 +0200 |
| commit | ae38a32f1eb7493fed2f4ccca8c4af7c2595a7ac (patch) | |
| tree | 7150e7170fa929aea26f828757117ef97fcd8b16 /kernel | |
| parent | db8e0d7ecaf233ae73705d2f57635a38f8825dad (diff) | |
ConstructiveEpsilon: simplify the before_witness type using non-uniform parameters.
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions