diff options
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/flow.sail | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/lib/flow.sail b/lib/flow.sail index b9653828..5c182af2 100644 --- a/lib/flow.sail +++ b/lib/flow.sail @@ -44,18 +44,4 @@ overload operator < = {lt_int} overload operator >= = {gteq_int} overload operator > = {gt_int} -$ifdef TEST - -val __flow_test : forall 'n 'm. (atom('n), atom('m)) -> unit - -function __flow_test (x, y) = { - if lteq_atom(x, y) then { - _prove(constraint('n <= 'm)) - } else { - _prove(constraint('n > 'm)) - } -} - -$endif - $endif |