--- a/demo/more/dlist.urs	Sat Sep 19 14:21:25 2009 -0400
+++ b/demo/more/dlist.urs	Sat Sep 19 14:42:36 2009 -0400
@@ -9,6 +9,7 @@
 val delete : position -> transaction unit
 val elements : t ::: Type -> dlist t -> signal (list t)
 val size : t ::: Type -> dlist t -> signal int
+val numPassing : t ::: Type -> (t -> signal bool) -> dlist t -> signal int
 val foldl : t ::: Type -> acc ::: Type -> (t -> acc -> signal acc) -> acc -> dlist t -> signal acc
 
 val render : ctx ::: {Unit} -> [ctx ~ body] => t ::: Type