docs/api/padding_8h_source.html

#ifndef CPROVER_ANSI_C_PADDING_H

#define CPROVER_ANSI_C_PADDING_H


#include <util/irep/std_types.h>

#include <util/symtab/namespace.h>

#include <util/arith/mp_arith.h>


void add_padding(typet &type, const namespacet &ns);


#endif // CPROVER_ANSI_C_PADDING_H

namespacet
Definition namespace.h:10

typet
Definition type.h:9

mp_arith.h

namespace.h

add_padding
void add_padding(typet &type, const namespacet &ns)
Definition padding.cpp:388

std_types.h