Contributed Extensions #

The Verus community has contributed a number of extensions. Some of these extensions are not complete, in the sense that they will not work for all Verus code, but when they apply, they can be quite handy.