pub fn generate_types() -> UniquePtr<CxxVector<aterm>> ⓘ
This function is to generate necessary data types