CostInstantiate (infer.Costlib.CostInstantiate)

module Call : sig ... end

type 'a interproc_analysis =
  (BO.BufferOverrunAnalysisSummary.t option * 'a * CostDomain.summary option)
    Absint.InterproceduralAnalysis.t

val get_cost_if_expensive : 
  'a interproc_analysis ->
  Call.t ->
  CostDomain.BasicCost.t option