// type: section title
// type: paragraph
// type: heading
// type: list
// type: heading
// type: paragraph
// type: list
// type: list
// type: table title
// type: table cell
// type: table cell
/* type: table cell
 */
"34" = "Semantics, Pre/Post-conditions";
// type: table cell
// type: table cell
// type: table cell
// type: table cell
// type: table cell
// type: table cell
// type: table cell
// type: table cell
// type: table cell
// type: table cell
// type: table cell
// type: table cell
// type: table cell
// type: table cell
/* type: table cell
 */
"34" = "`std::uint64_t`";
// type: table cell
// type: table cell
// type: table cell
// type: table cell
// type: table cell
// type: table cell
/* type: table cell
 */
"34" = "`std::size_t`";
// type: table cell
// type: table cell
// type: table cell
// type: heading
// type: heading
// type: list