Module Flambda2_identifiers.Continuation_callsite_map
type 'a t =
'a Flambda2_identifiers.Apply_cont_rewrite_id.Map.t
Flambda2_identifiers.Continuation.Map.tThis 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 ->
unitPrint function.
val empty : 'a Flambda2_identifiers.Continuation_callsite_map.tThe empty map
val find :
Flambda2_identifiers.Continuation.t ->
Flambda2_identifiers.Apply_cont_rewrite_id.t ->
'a Flambda2_identifiers.Continuation_callsite_map.t ->
'aFind the value bound to a pair of a continuation and rewrite id.
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.tAdd a binding to the callsite map.