package coccinelle

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

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 : pos -> Externalanalysis.result list

val inter : 
  Externalanalysis.result ->
  Externalanalysis.result ->
  Externalanalysis.result option

val satisfy : (Externalanalysis.result list -> bool) -> pos -> bool

val satisfy1 : (Externalanalysis.result -> bool) -> pos -> bool

val has_any : pos -> bool

val for_all : (Externalanalysis.result -> bool) -> pos -> bool

val for_all1 : (Externalanalysis.result -> bool) -> pos -> bool

val exists : (Externalanalysis.result -> bool) -> pos -> bool

val single_int : int64 -> Externalanalysis.result -> bool

val contains_int : int64 -> Externalanalysis.result -> bool

val has_only_nul : pos -> bool

val has_also_nul : pos -> bool

val has_also_int : int64 -> pos -> bool