Cfg_dataflow.Dataflow_result
type ('a, 'e) t =
| Ok of 'a
| Aborted of 'a * 'e
| Max_iterations_reached