Module `Flambda2_simplify.Continuation_shortcut`

A continuation shortcut is an anonymous continuation whose body is a single Apply_cont expression to another continuation.

type t

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

val create : 
  params:Flambda2_bound_identifiers.Bound_parameters.t ->
  Flambda2_identifiers.Continuation.t ->
  Flambda2_term_basics.Simple.t list ->
  t

val apply : 
  t ->
  Flambda2_term_basics.Simple.t list ->
  Flambda2_identifiers.Continuation.t * Flambda2_term_basics.Simple.t list

val continuation : t -> Flambda2_identifiers.Continuation.t

val to_alias : t -> Flambda2_identifiers.Continuation.t option

Module Flambda2_simplify.Continuation_shortcut

Module `Flambda2_simplify.Continuation_shortcut`