1 2 3 4 5 6 7 8 9
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