module type ObsMap =sig
..end
type 'a
t
val empty : 'a -> 'a t
val add : Ode_interface_sig.Interface.connected_component ->
'a ->
'a list t ->
'a list t
val get : Ode_interface_sig.Interface.connected_component ->
'a list t -> 'a list
val reset : Ode_interface_sig.Interface.connected_component ->
'a list t ->
'a list t