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_terminator : Textual.Module.t -> Textual.Module.t

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

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

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