Module `Flambda2_simplify.Simplify_simple`

Simplification functions on Simple.t.

val simplify_simple : 
  Downwards_acc.t ->
  Flambda2_term_basics.Simple.t ->
  min_name_mode:Flambda2_nominal.Name_mode.t ->
  Flambda2_types.t * Flambda2_term_basics.Simple.t

This function is guaranteed to return an alias type.

val simplify_simple_if_in_scope : 
  Downwards_acc.t ->
  Flambda2_term_basics.Simple.t ->
  min_name_mode:Flambda2_nominal.Name_mode.t ->
  Flambda2_types.t option

type simplify_simples_result = private {

simples : Flambda2_term_basics.Simple.t list;
simple_tys : Flambda2_types.t list;

}

val simplify_simples : 
  Downwards_acc.t ->
  Flambda2_term_basics.Simple.t list ->
  simplify_simples_result

Module Flambda2_simplify.Simplify_simple

Module `Flambda2_simplify.Simplify_simple`