PulseBaseMemory.S
module Access : Pulselib.PulseBasicInterface.Access.S with type key := key
module Edges : sig ... end
include IStdlib.PrettyPrintable.PPMonoMap
with type key := key
and type value = Edges.t
include IStdlib.PrettyPrintable.PrintableType with type t := t
val pp : IStdlib.PrettyPrintable.F.formatter -> t -> unit
val pp_key : IStdlib.PrettyPrintable.F.formatter -> key -> unit
val find_edge_opt :
?get_var_repr:
(Pulselib.PulseBasicInterface.AbstractValue.t ->
Pulselib.PulseBasicInterface.AbstractValue.t) ->
key ->
Access.t ->
t ->
out_of_map_t option