diff mxtool/mx.py @ 16750:7b196e1c3fa0

Truffle-DSL: added experimental new implies annotation to declare implication relations on guards.
author Christian Humer <christian.humer@gmail.com>
date Mon, 11 Aug 2014 15:53:05 +0200
parents 22b2950a0613
children 7eca83fd5419
line wrap: on
line diff