jon.recoil.org

Module Flambda2_identifiers.Continuation_callsite_map

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

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

Print function.

val empty : 'a t

The empty map

val find : Continuation.t -> Apply_cont_rewrite_id.t -> 'a 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 : Continuation.t -> Apply_cont_rewrite_id.t -> 'a -> 'a t -> 'a t

Add a binding to the callsite map.