Module `Call_kind.Effect`

Algebraic effect operations. The corresponding Apply_expr will have the callee set to None and an empty argument list for these. This is done to ensure there is no confusion between the different Simples.

type t = private

| Perform of {
1. eff : Flambda2_term_basics.Simple.t;
}
| Reperform of {
1. eff : Flambda2_term_basics.Simple.t;
2. cont : Flambda2_term_basics.Simple.t;
3. last_fiber : Flambda2_term_basics.Simple.t;
}
| With_stack of {
1. valuec : Flambda2_term_basics.Simple.t;
2. exnc : Flambda2_term_basics.Simple.t;
3. effc : Flambda2_term_basics.Simple.t;
4. f : Flambda2_term_basics.Simple.t;
5. arg : Flambda2_term_basics.Simple.t;
}
| With_stack_bind of {
1. valuec : Flambda2_term_basics.Simple.t;
2. exnc : Flambda2_term_basics.Simple.t;
3. effc : Flambda2_term_basics.Simple.t;
4. dyn : Flambda2_term_basics.Simple.t;
5. bind : Flambda2_term_basics.Simple.t;
6. f : Flambda2_term_basics.Simple.t;
7. arg : Flambda2_term_basics.Simple.t;
}
| Resume of {
1. cont : Flambda2_term_basics.Simple.t;
2. f : Flambda2_term_basics.Simple.t;
3. arg : Flambda2_term_basics.Simple.t;
}

include Flambda2_nominal.Contains_names.S with type t := t

val free_names : t -> Flambda2_nominal.Name_occurrences.t

Compute the free names of a term. Such computation covers all kinds of bindable names (variables, continuations, ...)

val apply_renaming : t -> Flambda2_nominal.Renaming.t -> t

Apply a renaming throughout a term.

val perform : eff:Flambda2_term_basics.Simple.t -> t

val reperform : 
  eff:Flambda2_term_basics.Simple.t ->
  cont:Flambda2_term_basics.Simple.t ->
  last_fiber:Flambda2_term_basics.Simple.t ->
  t

val with_stack : 
  valuec:Flambda2_term_basics.Simple.t ->
  exnc:Flambda2_term_basics.Simple.t ->
  effc:Flambda2_term_basics.Simple.t ->
  f:Flambda2_term_basics.Simple.t ->
  arg:Flambda2_term_basics.Simple.t ->
  t

val with_stack_bind : 
  valuec:Flambda2_term_basics.Simple.t ->
  exnc:Flambda2_term_basics.Simple.t ->
  effc:Flambda2_term_basics.Simple.t ->
  dyn:Flambda2_term_basics.Simple.t ->
  bind:Flambda2_term_basics.Simple.t ->
  f:Flambda2_term_basics.Simple.t ->
  arg:Flambda2_term_basics.Simple.t ->
  t

val resume : 
  cont:Flambda2_term_basics.Simple.t ->
  f:Flambda2_term_basics.Simple.t ->
  arg:Flambda2_term_basics.Simple.t ->
  t

Module Call_kind.Effect

Module `Call_kind.Effect`