diff options
| author | Pierre Boutillier | 2014-02-03 14:04:30 +0100 |
|---|---|---|
| committer | Pierre Boutillier | 2014-02-24 13:35:05 +0100 |
| commit | 6c7adbe89b69a08cba9cc47b39ecf1cdc9cc536d (patch) | |
| tree | d9e4fb25cecdf3054c222f862e35e11935f43323 /kernel/type_errors.mli | |
| parent | c8c5bd077699599ec48447bd9676317a22170c8a (diff) | |
Reductionops.Stack.strip* are ready to deal with Shift
Diffstat (limited to 'kernel/type_errors.mli')
0 files changed, 0 insertions, 0 deletions