Module `Flambda2_identifiers.Continuation_callsite_map`

type 'a t =
  'a Flambda2_identifiers.Apply_cont_rewrite_id.Map.t
    Flambda2_identifiers.Continuation.Map.t

This type represents maps from continuations to (maps from) rewrite ids to values.

val print : 
  (Stdlib.Format.formatter -> 'a -> unit) ->
  Stdlib.Format.formatter ->
  'a Flambda2_identifiers.Continuation_callsite_map.t ->
  unit

Print function.

val empty : 'a Flambda2_identifiers.Continuation_callsite_map.t

The empty map

val find : 
  Flambda2_identifiers.Continuation.t ->
  Flambda2_identifiers.Apply_cont_rewrite_id.t ->
  'a Flambda2_identifiers.Continuation_callsite_map.t ->
  'a

Find the value bound to a pair of a continuation and rewrite id.

raises Not_found
if either the continuation or rewrite ids are not bound.

val add : 
  Flambda2_identifiers.Continuation.t ->
  Flambda2_identifiers.Apply_cont_rewrite_id.t ->
  'a ->
  'a Flambda2_identifiers.Continuation_callsite_map.t ->
  'a Flambda2_identifiers.Continuation_callsite_map.t

Add a binding to the callsite map.

raises Misc.Fatal_error
if there is a pre-existing binding for the keys.

Module Flambda2_identifiers.Continuation_callsite_map

Module `Flambda2_identifiers.Continuation_callsite_map`