TaintTrace (infer.Absint.TaintTrace)

module F = Stdlib.Format

module type Spec = sig ... end

module type S = sig ... end

module Make
  (Spec : Spec) : 
  S with module Source = Spec.Source and module Sink = Spec.Sink