comparison tests/test.urs @ 771:eac1974924bb

FFI transactionals
author Adam Chlipala <adamc@hcoop.net>
date Sat, 02 May 2009 18:41:21 -0400
parents df09c95085f8
children
comparison
equal deleted inserted replaced
770:c125df6fabfc 771:eac1974924bb
5 val frob : t -> string -> t 5 val frob : t -> string -> t
6 val print : transaction unit 6 val print : transaction unit
7 7
8 val foo : transaction unit 8 val foo : transaction unit
9 val bar : string -> transaction unit 9 val bar : string -> transaction unit
10
11 val transactional : transaction unit