--- layout: fc_discuss_archives title: Message 15 from Frama-C-discuss on March 2020 ---
Is it planned that modules can be nested (similar to C++ namespaces)? Regards Jens