package coccinelle

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

module Int64Set : sig ... end

type bound = int64 option

type result =

val show_bound : bound -> string

val show_result : result -> string

val load_external_results : string -> unit

val find_results : Common.filename -> Ast_c.posl -> Ast_c.posl -> result list

val intersect_results : result -> result -> result option

val satisfy : 
  (result list -> bool) ->
  Common.filename ->
  Ast_c.posl ->
  Ast_c.posl ->
  bool

val satisfy1 : 
  (result -> bool) ->
  Common.filename ->
  Ast_c.posl ->
  Ast_c.posl ->
  bool

val has_any_result : Common.filename -> Ast_c.posl -> Ast_c.posl -> bool

val for_all : 
  (result -> bool) ->
  Common.filename ->
  Ast_c.posl ->
  Ast_c.posl ->
  bool

val for_all1 : 
  (result -> bool) ->
  Common.filename ->
  Ast_c.posl ->
  Ast_c.posl ->
  bool

val exists : 
  (result -> bool) ->
  Common.filename ->
  Ast_c.posl ->
  Ast_c.posl ->
  bool

val single_int : int64 -> result -> bool

val contains_int : int64 -> result -> bool

val has_only_nul : Common.filename -> Ast_c.posl -> Ast_c.posl -> bool

val has_also_nul : Common.filename -> Ast_c.posl -> Ast_c.posl -> bool

val has_also_int : int64 -> Common.filename -> Ast_c.posl -> Ast_c.posl -> bool