Files

10 lines
194 B
Standard ML
Raw Permalink Normal View History

signature TRANSACTION =
sig
type t
val empty: t
val insert: int * string * t -> t
val delete: int * int * t -> t
val toString: t -> string
val txns : (int * int * string) vector
end