SinkTrace (infer.Absint.SinkTrace)

module type S = sig ... end

Suffix of a normal trace: just sinks and passthroughs, but no sources

module MakeSink
  (TaintTraceElem : TaintTraceElem.S) : 
  Sink.S with module Kind = TaintTraceElem.Kind and type t = TaintTraceElem.t

module Make
  (TaintTraceElem : TaintTraceElem.S) : 
  S
    with module Source = Source.Dummy
     and module Sink = MakeSink(TaintTraceElem)