Module IBase.CostIssues

type issue_spec = {
  1. extract_cost_f : ATDGenerated.Jsoncost_t.item -> ATDGenerated.Jsoncost_t.info;
  2. name : string;
  3. complexity_increase_issue : is_on_ui_thread:bool -> IssueType.t;
  4. unreachable_issue : IssueType.t;
  5. infinite_issue : IssueType.t;
  6. expensive_issue : IssueType.t;
  7. top_and_unreachable : bool;
  8. expensive : bool;
}
module CostKindMap : sig ... end
val enabled_cost_map : issue_spec CostKindMap.t