TextualTransform (infer.Textuallib.TextualTransform)

val fix_closure_app : Textual.Module.t -> Textual.Module.t

val remove_effects_in_subexprs : 
  Textual.Lang.t ->
  TextualDecls.t ->
  Textual.Module.t ->
  Textual.Module.t * bool

val remove_if_exp_and_terminator : Textual.Module.t -> Textual.Module.t

val let_propagation_exn : Textual.Module.t -> Textual.Module.t

val out_of_ssa_exn : Textual.Module.t -> Textual.Module.t

val run : 
  Textual.Lang.t ->
  Textual.Module.t ->
  (Textual.Module.t * TextualDecls.t, Textual.transform_error list)
    IStdlib.IStd.result

run the following transformations in the given order: 1) remove_if_terminator 2) remove_effects_in_subexprs (also removes closures expressions) 3) let_propagation 4) out_of_ssa in

val run_exn : 
  Textual.Lang.t ->
  Textual.Module.t ->
  Textual.Module.t * TextualDecls.t

val fix_hackc_mistranslations : Textual.Module.t -> Textual.Module.t

val restore_ssa : 
  Textual.ProcDesc.t ->
  Textual.Typ.t Textuallib.Textual.Ident.Map.t ->
  Textual.ProcDesc.t