<div dir="ltr">Hello Chris.<br><br>I am speaking about  static analysis tool named "Dialyzer". This tool is intended to be used as "error-finder". And what I am interested in is whether this tool will be able to understand what module you substitute in <b>State#state.db</b> and make warning that this module is not properly written (i.e. miss some functions or this functions will not be able to handle what you will feed them).<br></div>