Module ATDGenerated.Jsoncost_t
val equal_loc : loc -> loc -> bool
type 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;
}