path: root/tests/ubn.urs

val main : unit -> transaction page
con a = []
con e = a