sig
type result = Externalanalysis.result
type bound = Externalanalysis.bound
val show_bound : Externalanalysis.bound -> string
val show_result : Externalanalysis.result -> string
val load_results : string -> unit
val find : Coccilib.pos -> Externalanalysis.result list
val inter :
Externalanalysis.result ->
Externalanalysis.result -> Externalanalysis.result option
val satisfy :
(Externalanalysis.result list -> bool) -> Coccilib.pos -> bool
val satisfy1 : (Externalanalysis.result -> bool) -> Coccilib.pos -> bool
val has_any : Coccilib.pos -> bool
val for_all : (Externalanalysis.result -> bool) -> Coccilib.pos -> bool
val for_all1 : (Externalanalysis.result -> bool) -> Coccilib.pos -> bool
val exists : (Externalanalysis.result -> bool) -> Coccilib.pos -> bool
val single_int : int64 -> Externalanalysis.result -> bool
val contains_int : int64 -> Externalanalysis.result -> bool
val has_only_nul : Coccilib.pos -> bool
val has_also_nul : Coccilib.pos -> bool
val has_also_int : int64 -> Coccilib.pos -> bool
end