aboutsummaryrefslogtreecommitdiffhomepage
path: root/tests/test.urs
blob: b4ca6fb6a3e4dd77773f72cf1b555f4999b3f47d (plain)
1
2
3
4
5
6
7
8
9
10
11
type t

val create : string -> t
val out : t -> string
val frob : t -> string -> t
val print : transaction unit

val foo : transaction unit
val bar : string -> transaction unit

val transactional : transaction unit