Coq: tweak measure rewrites slightly

Allows a quick hack where you can give a termination limit rather than a
proper measure for functions with awkward termination properties.

0 files changed, 0 insertions, 0 deletions