LineageTaint (infer.Backend.LineageTaint)

module TaintConfig : sig ... end

val export_result : 
  name:string ->
  fileparts:string list ->
  'a Fmt.t ->
  'a ->
  unit

val report : TaintConfig.t -> Absint.IssueLog.t

include sig ... end

module Private : sig ... end