- match to_run with
- | `False s -> completeness, `Unseparable s
- | `True ->
- try
- let sigma = run p in
- completeness, `Separable sigma
- with
- | Backtrack _ -> completeness, `Unseparable "backtrack"
+ completeness, match to_run with
+ | `False s -> `Unseparable s
+ | `True ->
+ try
+ `Separable (run p)
+ with
+ Backtrack _ -> `Unseparable "backtrack"