Failure handling: detection of cycle, unresolvable dependencies and internal errors.
type status = | Cycle of Namespaced.t Loc.ext| Extern of Namespaced.t| Depend_on of Namespaced.t| Internal_errortype alias_resolver = Summary.t -> Paths.S.t -> Namespaced.tval analyze :
'a blocker ->
alias_resolver ->
'a i list ->
('a i * status option ref) Namespaced.Map.t * 'a cyclesval pp_circular :
'a blocker ->
alias_resolver ->
('a i * 'a) Namespaced.Map.t ->
Namespaced.t ->
bool ->
Format.formatter ->
Namespaced.t ->
unitval pp_cat :
'a blocker ->
alias_resolver ->
('a i * _) Namespaced.Map.t ->
Format.formatter ->
(status * 'a cycle) ->
unitval pp :
'a blocker ->
alias_resolver ->
('a i * _) Namespaced.Map.t ->
Format.formatter ->
'a cycles ->
unitval pp_cycle :
'a blocker ->
alias_resolver ->
Format.formatter ->
'a i list ->
unit