FuncDatatype (p.goblint-cil.1.8.2.doc.goblint-cil.syntacticsearch.FuncDatatype)

val find_def : 
  String.t ->
  Cil.file ->
  (string * Cil.location * String.t * int) list

Sourceval find_def_all : Cil.file -> (string * Cil.location * string * int) list

Sourceval find_in_globals : Cil.global list -> String.t -> int list

Sourceval find_in_varinfos : Cil.varinfo list -> String.t -> int list

Sourceval find_fundec : Cil.global list -> String.t -> Cil.fundec option

val find_typevar_uses_in_fun : 
  int list ->
  String.t ->
  Cil.file ->
  (string * Cil.location * string * int) list

val find_uses_in_fun : 
  String.t ->
  String.t ->
  Cil.file ->
  (string * Cil.location * string * int) list

val find_uses : 
  String.t ->
  Cil.file ->
  (string * Cil.location * String.t * int) list

val find_uses_in_cond : 
  String.t ->
  Cil.file ->
  (string * Cil.location * String.t * int) list

val find_uses_in_noncond : 
  String.t ->
  Cil.file ->
  (string * Cil.location * String.t * int) list