/** Returns the number of all types in the irp. */
int get_irp_n_types(void);
/** Returns the type at position pos in the irp. */
/** Returns the number of all types in the irp. */
int get_irp_n_types(void);
/** Returns the type at position pos in the irp. */