ClangFrontend.SwitchCasetype t = {condition : condition;stmt_info : ATDGenerated.Clang_ast_t.stmt_info;root_nodes : IR.Procdesc.Node.t list;}val in_switch_body : f:('a -> 'b) -> 'a -> t list * 'bval add : t -> unitval pp_condition : F.formatter -> condition -> unitval pp : F.formatter -> t -> unit