--- a/demo/more/dlist.urs	Thu Sep 17 14:57:38 2009 -0400
+++ b/demo/more/dlist.urs	Thu Sep 17 16:35:11 2009 -0400
@@ -4,6 +4,8 @@
 val create : t ::: Type -> transaction (dlist t)
 val clear : t ::: Type -> dlist t -> transaction unit
 val append : t ::: Type -> dlist t -> t -> transaction position
+val replace : t ::: Type -> dlist t -> list t -> transaction unit
+
 val delete : position -> transaction unit
 val elements : t ::: Type -> dlist t -> signal (list t)
 val foldl : t ::: Type -> acc ::: Type -> (t -> acc -> signal acc) -> acc -> dlist t -> signal acc