open Lambda4;;
open Util;;
+(* Syntax for problem files in problem/ folder:
+
+- dollar ($) on newline
+ begin new problem
+ $! means that the problem is expected to be separable,
+ $? means that it is expected to be unseparable
+
+- (#) on new line
+ comment line
+
+- (D) (C) (N) stand respectively for divergent, convergent, numeric
+
+- lines starting with spaces inherit the type from the last line
+
+*)
+
let assert_separable x =
match solve x with
| `Separable _ -> ()