-let assert_separable x =
- match solve x with
- | _, `Separable _ -> ()
- | _, `Unseparable s ->
- failwith ("assert_separable: unseparable because: " ^ s ^ ".")
-;;
-
-let assert_unseparable x =
- match solve x with
- | _, `Unseparable _ -> ()
- | _, `Separable _ ->
- failwith ("assert_unseparable: separable.")
-;;
-