{dialyzer_options, [{warnings, [no_unused, no_return, no_unknown, overlapping_contract]}]}.