sig
val parse_cli :
(Phases.filename list * Params.t, [ `Init ], [ `Parse_cli ]) Phases.t
val load_extensions :
(Extensions.t list, [ `Parse_cli ], [ `LoadExtensions ]) Phases.t
val setup_gc : (unit, [ `Init ], [ `Init ]) Phases.t
val setup_signal : (unit, [ `Init ], [ `Init ]) Phases.t
val process_file :
Phases.filename ->
(Phases.env_with_result, [ `LoadExtensions ], [ `Saturate ]) Phases.t
val print :
Phases.filename ->
'c Env.packed ->
Saturate.szs_status -> (unit, [ `Saturate ], [ `Print_dot ]) Phases.t
val process_files_and_print :
Phases.filename list ->
(unit, [ `LoadExtensions ], [ `Print_dot ]) Phases.t
end