Module `Flambda2_simplify.Continuation_extra_params_and_args`

module Extra_arg : sig ... end

type t = private

| Empty
| Non_empty of {
1. extra_params : Flambda2_bound_identifiers.Bound_parameters.t;
2. extra_args : Extra_arg.t list Flambda2_term_basics.Or_invalid.t Flambda2_identifiers.Apply_cont_rewrite_id.Map.t;
}

val print : Format.formatter -> t -> unit

val is_empty : t -> bool

Creating an EPA

First way to create an EPA

val empty : t

val add : 
  t ->
  invalids:Flambda2_identifiers.Apply_cont_rewrite_id.Set.t ->
  extra_param:Flambda2_bound_identifiers.Bound_parameter.t ->
  extra_args:Extra_arg.t Flambda2_identifiers.Apply_cont_rewrite_id.Map.t ->
  t

Another way to create an EPA

val init_with_params_only : Flambda2_bound_identifiers.Bound_parameters.t -> t

val add_args_for_all_params : 
  t ->
  Flambda2_identifiers.Apply_cont_rewrite_id.t ->
  Extra_arg.t list ->
  t

Other functions

val concat : outer:t -> inner:t -> t

val replace_extra_args : 
  t ->
  Extra_arg.t list Flambda2_term_basics.Or_invalid.t
    Flambda2_identifiers.Apply_cont_rewrite_id.Map.t ->
  t

val extra_params : t -> Flambda2_bound_identifiers.Bound_parameters.t

val extra_args : 
  t ->
  Extra_arg.t list Flambda2_term_basics.Or_invalid.t
    Flambda2_identifiers.Apply_cont_rewrite_id.Map.t

Module Flambda2_simplify.Continuation_extra_params_and_args

Creating an EPA

First way to create an EPA

Another way to create an EPA

Other functions

Module `Flambda2_simplify.Continuation_extra_params_and_args`