--- layout: fc_discuss_archives title: Message 15 from Frama-C-discuss on March 2020 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[no subject]



Is it planned that modules can be nested (similar to C++ namespaces)?

Regards

Jens