Module Flambda2_simplify.Simplify_simple
Simplification functions on Simple.t.
val simplify_simple :
Flambda2_simplify.Downwards_acc.t ->
Flambda2_term_basics.Simple.t ->
min_name_mode:Flambda2_nominal.Name_mode.t ->
Flambda2_types.t * Flambda2_term_basics.Simple.tThis function is guaranteed to return an alias type.
val simplify_simple_if_in_scope :
Flambda2_simplify.Downwards_acc.t ->
Flambda2_term_basics.Simple.t ->
min_name_mode:Flambda2_nominal.Name_mode.t ->
Flambda2_types.t optiontype simplify_simples_result = private {simples : Flambda2_term_basics.Simple.t list;simple_tys : Flambda2_types.t list;
}val simplify_simples :
Flambda2_simplify.Downwards_acc.t ->
Flambda2_term_basics.Simple.t list ->
Flambda2_simplify.Simplify_simple.simplify_simples_result