Source
val insert_path :
(OaTypes.pathobj * int) ->
OaTypes.pathobj PrioQueue.queue ->
OaTypes.pathobj PrioQueue.queue
Source
val fold_all_paths :
OaTypes.t ->
(OaTypes.pathobj_seg list -> OaTypes.path_item -> 'a -> 'a) ->
'a ->
'a