diff options
| author | letouzey | 2010-01-25 10:20:37 +0000 |
|---|---|---|
| committer | letouzey | 2010-01-25 10:20:37 +0000 |
| commit | 5bcc4bbe41762856c1406c2cde12f57659dd046f (patch) | |
| tree | 8a82921b57d974226ee4aeb3b4e494f65bc3199b /interp/implicit_quantifiers.ml | |
| parent | a7f249760f2c093bd5ce77af264c052f227fb169 (diff) | |
NMake (and hence BigN): shiftr, shiftl now in the signature NSig
we export the "safe" version of these functions, working for all
input and not only reasonably small shifting arg. The former
"unsafe" shiftr and shiftl are now unsafe_shiftr and unsafe_shiftl.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12688 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'interp/implicit_quantifiers.ml')
0 files changed, 0 insertions, 0 deletions