-json-files"><i class="fa fa-check"></i><b>20.1</b> Creating JSON files</a></li>
<li class="chapter" data-level="20.2" data-path="json.html"><a href="json.html#json-syntax-summary"><i class="fa fa-check"></i><b>20.2</b> JSON syntax summary</a></li>
<li class="chapter" data-level="20.3" data-path="json.html"><a href="json.html#stan-data-types-in-json-notation"><i class="fa fa-check"></i><b>20.3</b> Stan data types in JSON notation</a>
<ul>
<li class="chapter" data-level="20.3.1" data-path="json.html"><a href