ExplicitTrace (infer.Absint.ExplicitTrace)

module type FiniteSet = sig ... end

A powerset domain of traces, with bottom = empty and join = union

module type Element = sig ... end

module type CallPrinter =
  IStdlib.PrettyPrintable.PrintableType with type t = CallSite.t

module DefaultCallPrinter : CallPrinter

Printer which outputs "Method call: <monospaced procname>"

module type TraceElem = sig ... end

include sig ... end

module MakeTraceElem
  (Elem : Element)
  (CallPrinter : CallPrinter) : 
  TraceElem with type elem_t = Elem.t

module MakeTraceElemModuloLocation
  (Elem : Element)
  (CallPrinter : CallPrinter) : 
  TraceElem with type elem_t = Elem.t