Module Flambda2_simplify.Simplify_extcall
Simplification of external calls
type t = | Unchanged of {return_types : Flambda2_types.t list Flambda2_lattices.Or_unknown.t;
}| Specialised of Flambda2_simplify.Downwards_acc.t * Flambda2_terms.Flambda.Expr.t * Flambda2_terms.Removed_operations.t| Invalid
val simplify_extcall :
Flambda2_simplify.Downwards_acc.t ->
Flambda2_terms.Flambda.Apply.t ->
callee_ty:Flambda2_types.t ->
arg_types:Flambda2_types.t list ->
Flambda2_simplify.Simplify_extcall.t