Module `Flambda.Non_recursive_let_cont_handler`

type t = 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 : t -> Flambda2_nominal.Renaming.t -> t

val pattern_match : 
  t ->
  f:(Flambda2_identifiers.Continuation.t -> body: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 : 
  t ->
  t ->
  f:(Flambda2_identifiers.Continuation.t -> body1:expr -> body2:expr -> 'a) ->
  'a

Deconstruct two continuation bindings using the same name.

val handler : t -> Continuation_handler.t

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

Module Flambda.Non_recursive_let_cont_handler