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 : 
  Stdlib.Format.formatter ->
  Flambda2_simplify.Continuation_shortcut.t ->
  unit

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

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

val continuation : 
  Flambda2_simplify.Continuation_shortcut.t ->
  Flambda2_identifiers.Continuation.t

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

Module Flambda2_simplify.Continuation_shortcut

Module `Flambda2_simplify.Continuation_shortcut`