Add strangely working file for #47

au-ts · Jan 10, 2018 · 2562b93 · 2562b93
1 parent 61dde09
commit 2562b93
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/cogent/tests/pass_ticket-47.cogent b/cogent/tests/pass_ticket-47.cogent
@@ -0,0 +1,6 @@
+type RbtElemAO k v acc obsv
+type RbtConsumeF k v acc obsv = RbtElemAO k v acc obsv -> acc
+type RbtCondF k v acc obsv = (RbtElemAO k v acc obsv)! -> Bool
+
+rbtFTrue: all(k:< DS, v :<DS, acc, obsv). RbtCondF k v acc obsv
+rbtFTrue _ = True