summaryrefslogtreecommitdiff
path: root/tests/twoArg.urs
blob: 9eb22bec7fce22dc26463b92b2f66ad49a151741 (plain)
1
2
3
val main : int -> string -> transaction page

val shadow : transaction page