`module F = Format`
`type condition````=`

`|` `Case of InferGenerated.Clang_ast_t.stmt`
`|` `Default`

``
`type t````=` `{`

`condition : condition;`
`stmt_info : InferGenerated.Clang_ast_t.stmt_info;`
`root_nodes : InferIR.Procdesc.Node.t list;`

`}```
`val in_switch_body : f:('a ‑> 'b) ‑> 'a ‑> t list * 'b`
`val add : t ‑> unit`
`val pp_condition : F.formatter ‑> condition ‑> unit`
`val pp : F.formatter ‑> t ‑> unit`