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 : Flambda2_simplify.Continuation_extra_params_and_args.Extra_arg.t list Flambda2_term_basics.Or_invalid.t Flambda2_identifiers.Apply_cont_rewrite_id.Map.t;
}

val print : 
  Stdlib.Format.formatter ->
  Flambda2_simplify.Continuation_extra_params_and_args.t ->
  unit

val is_empty : Flambda2_simplify.Continuation_extra_params_and_args.t -> bool

Creating an EPA

First way to create an EPA

val empty : Flambda2_simplify.Continuation_extra_params_and_args.t

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

Another way to create an EPA

val init_with_params_only : 
  Flambda2_bound_identifiers.Bound_parameters.t ->
  Flambda2_simplify.Continuation_extra_params_and_args.t

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

Other functions

val concat : 
  outer:Flambda2_simplify.Continuation_extra_params_and_args.t ->
  inner:Flambda2_simplify.Continuation_extra_params_and_args.t ->
  Flambda2_simplify.Continuation_extra_params_and_args.t

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

val extra_params : 
  Flambda2_simplify.Continuation_extra_params_and_args.t ->
  Flambda2_bound_identifiers.Bound_parameters.t

val extra_args : 
  Flambda2_simplify.Continuation_extra_params_and_args.t ->
  Flambda2_simplify.Continuation_extra_params_and_args.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`