stub

src/funcheck/CLP.scala

+package funcheck
+
+object CLP {
+  final class NotImplementedException extends Exception
+
+  def choose[A](pred : A => Boolean) : A = {
+    throw new NotImplementedException()
+  }
+}