Module `Flambda2_simplify.Simplify_extcall`

Simplification of external calls

type t =

| Unchanged of {
1. return_types : Flambda2_types.t list Flambda2_lattices.Or_unknown.t;
}
| Specialised of Downwards_acc.t * Flambda2_terms.Flambda.Expr.t * Flambda2_terms.Removed_operations.t
| Invalid

val simplify_extcall : 
  Downwards_acc.t ->
  Flambda2_terms.Flambda.Apply.t ->
  callee_ty:Flambda2_types.t ->
  arg_types:Flambda2_types.t list ->
  t

Module Flambda2_simplify.Simplify_extcall

Module `Flambda2_simplify.Simplify_extcall`