ATDGenerated.Jsonbug_tval equal_transitive_callee_resolution :
transitive_callee_resolution ->
transitive_callee_resolution ->
boolval equal_transitive_callee_kind :
transitive_callee_kind ->
transitive_callee_kind ->
booltype transitive_callee = {callsite_filename : string;callsite_absolute_position_in_file : int;caller_name : string;callsite_relative_position_in_caller : int;kind : transitive_callee_kind;resolution : transitive_callee_resolution;}val equal_transitive_callee : transitive_callee -> transitive_callee -> boolval equal_taint_extra : taint_extra -> taint_extra -> boolval equal_redundant_fixme_info :
redundant_fixme_info ->
redundant_fixme_info ->
boolval equal_issue_method : issue_method -> issue_method -> booltype parameter_not_nullable_info = {class_name : string;package_name : string option;method_info : issue_method;param_index : int;}val equal_parameter_not_nullable_info :
parameter_not_nullable_info ->
parameter_not_nullable_info ->
boolval equal_nullsafe_mode : nullsafe_mode -> nullsafe_mode -> booltype nullsafe_meta_issue_info = {num_issues : int;num_fixmes : int;curr_nullsafe_mode : nullsafe_mode;can_be_promoted_to : nullsafe_mode option;}val equal_nullsafe_meta_issue_info :
nullsafe_meta_issue_info ->
nullsafe_meta_issue_info ->
boolval equal_method_info : method_info -> method_info -> boolval equal_field_name : field_name -> field_name -> boolval equal_access_level : access_level -> access_level -> booltype annotation_point_method = {method_name : string;params : string list;access_level : access_level;}val equal_annotation_point_method :
annotation_point_method ->
annotation_point_method ->
boolval equal_annotation_point_kind :
annotation_point_kind ->
annotation_point_kind ->
booltype annotation_point = {id : string;kind : annotation_point_kind;method_info : annotation_point_method option;field_name : string option;param_num : int option;num_violations : int;dependent_point_ids : string list;}val equal_annotation_point : annotation_point -> annotation_point -> booltype nullsafe_extra = {class_name : string;package : string option;method_info : issue_method option;field : field_name option;inconsistent_param_index : int option;parameter_not_nullable_info : parameter_not_nullable_info option;nullable_methods : method_info list option;unvetted_3rd_party : string list option;meta_issue_info : nullsafe_meta_issue_info option;annotation_graph : annotation_point list option;redundant_fixme_info : redundant_fixme_info option;}val equal_nullsafe_extra : nullsafe_extra -> nullsafe_extra -> boolval equal_missed_capture : missed_capture -> missed_capture -> boolval equal_json_trace_item : json_trace_item -> json_trace_item -> boolval equal_config_usage_extra : config_usage_extra -> config_usage_extra -> booltype extra = {cost_polynomial : string option;cost_degree : int option;nullsafe_extra : nullsafe_extra option;copy_type : string option;config_usage_extra : config_usage_extra option;taint_extra : taint_extra option;transitive_callees : transitive_callee list;transitive_missed_captures : missed_capture list;}type jsonbug = {bug_type : string;qualifier : string;suggestion : string option;severity : string;line : int;column : int;procedure : string;procedure_start_line : int;file : string;bug_trace : json_trace_item list;key : string;node_key : string option;hash : string;dotty : string option;infer_source_loc : loc option;bug_type_hum : string;traceview_id : int option;censored_reason : string option;access : string option;extras : extra option;}type report = jsonbug list