ator:bool <span class="arrow">&#45;&gt;</span></span>
  <span><a href="../CFrontend_config/index.html#type-translation_unit_context">CFrontend_config.translation_unit_context</a> <span class="arrow">&#45;&gt;</span></span>
  <span><a href="../../IR/Cfg/index.html#type-t">IR.Cfg.t</a> <span class="arrow">&#45;&gt;</span></span>
  <span><a href="../../IR/Tenv/index.html#type-t">IR.Tenv.t</a> <span class="arrow">&#45;&gt;</span></span>
  <span><a href="../CMethodSignature/index.html#type-t">CMethodSignature.t<