Module Absint.TaskSchedulerTypes

type target =
  1. | Procname of IR.Procname.t
  2. | File of IBase.SourceFile.t
  3. | ProcUID of string
    (*

    matches primary key of procedures and specs tables; see Database.ml

    *)