Module ATDGenerated.Jsoncost_t
val equal_loc : loc -> loc -> booltype sub_item = {hash : string;loc : loc;procedure_name : string;procedure_id : string;
}type hum_info = {hum_polynomial : string;hum_degree : string;big_o : string;
}type info = {polynomial_version : int;polynomial : string;degree : int option;hum : hum_info;trace : json_trace_item list;
}type item = {hash : string;loc : loc;procedure_name : string;procedure_id : string;is_on_ui_thread : bool;exec_cost : info;
}