diff options
| author | Hugo Herbelin | 2020-10-03 16:34:37 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2020-11-21 16:45:21 +0100 |
| commit | 35ff578d093b3616af1280dd768e2afc96a8e09e (patch) | |
| tree | a88e130e283d404fd127027f853021ae647a6ead /pretyping/typeclasses_errors.mli | |
| parent | 5b15fce17d856dfbd51482f724ddf5e5f9646073 (diff) | |
Deduce Stack.decomp from Stack.strip_n_app.
Diffstat (limited to 'pretyping/typeclasses_errors.mli')
0 files changed, 0 insertions, 0 deletions