IBase.CostIssues
type issue_spec = {
extract_cost_f : ATDGenerated.Jsoncost_t.item -> ATDGenerated.Jsoncost_t.info;
name : string;
complexity_increase_issue : is_on_ui_thread:bool -> IssueType.t;
unreachable_issue : IssueType.t;
infinite_issue : IssueType.t;
expensive_issue : IssueType.t;
top_and_unreachable : bool;
expensive : bool;
}
module CostKindMap : sig ... end
val enabled_cost_map : issue_spec CostKindMap.t