Source (infer.Absint.Source)

val all_formals_untainted : 
  IR.Procdesc.t ->
  (IR.Mangled.t * IR.Typ.t * 'a option) list

specify that all the formals of the procdesc are not tainted

module type Kind = sig ... end

module type S = sig ... end

module Make (Kind : Kind) : S with module Kind = Kind

module Dummy : S with type t = unit