• CFunMap : ilasynth::CVerifGen
• cppBvType : ilasynth::CppVar
• CppFunMap : ilasynth::CppSimGen
• CppVarMap : ilasynth::CppSimGen
• CVarMap : ilasynth::CVerifGen
• expr_map_t : ilasynth::SynRewriter , ilasynth::Z3ExprAdapter
• exprvec_t : ilasynth::BoogieTranslator
• FuncCode : ilasynth::FuncReduction
• map_t : ilasynth::MemValues
• nref_map_t : ilasynth::ImExport
• nstage_t : ilasynth::SMTExport
• nstage_vec_t : ilasynth::SMTExport
• outpair_t : ilasynth::DITreeNode
• outpair_vec_t : ilasynth::DITreeNode
• stack_t : ilasynth::BoogieTranslator
• uabs_map_t : ilasynth::Abstraction
• vexpr_map_t : ilasynth::VerilogExport