Module Interactive.EnvdbSource

module LineMap = Mopsa_utils.MapExt.IntMap
module CallstackMap : sig ... end
Sourceval empty_envdb : 'a FileMap.t
Sourceval add_envdb : Action.action -> 'a Core.All.ctx -> 'a -> ('a, 'b) Core.All.man -> 'a envdb -> (Action.action * 'a CallstackMap.t) LineMap.t FileMap.t
Sourceval find_envdb_opt : FileMap.key -> LineMap.key -> 'a envdb -> (Action.action * 'a CallstackMap.t) option