Progress on sorting + filtering

1 files changed, 1 insertions, 0 deletions

diff --git a/demo/more/dlist.urs b/demo/more/dlist.urs
index 6918fdc8..3509ef2d 100644
--- a/demo/more/dlist.urs
+++ b/demo/more/dlist.urs
@@ -9,6 +9,7 @@ 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 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