tests/test.urs


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