Module Flambda2_simplify.Simplify_coercion
val simplify_coercion :
Flambda2_simplify.Downwards_acc.t ->
Flambda2_term_basics.Coercion.t ->
Flambda2_term_basics.Coercion.tFlambda2_simplify.Simplify_coercionval simplify_coercion :
Flambda2_simplify.Downwards_acc.t ->
Flambda2_term_basics.Coercion.t ->
Flambda2_term_basics.Coercion.t