Module `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 : functor (Kind : Kind) -> S with module Kind = Kind

module Dummy : S with type t = unit