Cost (infer.Costlib.Cost)

val checker : 
  (CostDomain.summary option
   * BO.BufferOverrunAnalysisSummary.t option
   * Checkers.PurityDomain.summary option)
    Absint.InterproceduralAnalysis.t ->
  CostDomain.summary option

val instantiate_cost : 
  ?get_closure_callee_cost:
    (IR.Procname.t -> CostDomain.BasicCostWithReason.t option) ->
  default_closure_cost:BO.Ints.NonNegativeInt.t ->
  IR.IntegerWidths.t ->
  inferbo_caller_mem:BO.BufferOverrunDomain.Mem.t ->
  callee_pname:IR.Procname.t ->
  callee_formals:(IR.Pvar.t * IR.Typ.t) list ->
  args:(IR.Exp.t * IR.Typ.t) list ->
  captured_vars:
    (IR.Exp.t * IR.Pvar.t * IR.Typ.t * IR.CapturedVar.capture_mode) list ->
  callee_cost:CostDomain.BasicCostWithReason.t ->
  loc:IBase.Location.t ->
  CostDomain.BasicCostWithReason.t

val is_report_suppressed : IR.Procname.t -> bool