view demo/constraints.urs @ 2069:262dd74df39c

Replace common "if(!quiet) printf(...)" pattern with a macro
author Sergey Mironov <grrwlf@gmail.com>
date Tue, 02 Sep 2014 17:36:14 +0000
parents 74a090ff296e
children
line wrap: on
line source
val main : unit -> transaction page