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