Module `Flambda.Non_recursive_let_cont_handler`

type t = Flambda2_terms.Flambda.non_recursive_let_cont_handler

The representation of the alpha-equivalence class of the binding of a single non-recursive continuation handler over a body.

val apply_renaming : 
  Flambda2_terms.Flambda.Non_recursive_let_cont_handler.t ->
  Flambda2_nominal.Renaming.t ->
  Flambda2_terms.Flambda.Non_recursive_let_cont_handler.t

val pattern_match : 
  Flambda2_terms.Flambda.Non_recursive_let_cont_handler.t ->
  f:
    (Flambda2_identifiers.Continuation.t ->
      body:Flambda2_terms.Flambda.expr ->
      'a) ->
  'a

Deconstruct a continuation binding to get the name of the bound continuation and the expression over which it is scoped.

val pattern_match_pair : 
  Flambda2_terms.Flambda.Non_recursive_let_cont_handler.t ->
  Flambda2_terms.Flambda.Non_recursive_let_cont_handler.t ->
  f:
    (Flambda2_identifiers.Continuation.t ->
      body1:Flambda2_terms.Flambda.expr ->
      body2:Flambda2_terms.Flambda.expr ->
      'a) ->
  'a

Deconstruct two continuation bindings using the same name.

val handler : 
  Flambda2_terms.Flambda.Non_recursive_let_cont_handler.t ->
  Flambda2_terms.Flambda.Continuation_handler.t

Obtain the continuation itself (rather than the body over which it is scoped).

Module Flambda.Non_recursive_let_cont_handler

Module `Flambda.Non_recursive_let_cont_handler`