/**
* @file src/llvmir2hll/semantics/semantics/libc_semantics/doxygen.h
* @brief Doxygen documentation for the libc namespace.
* @copyright (c) 2017 Avast Software, licensed under the MIT license
*/

// As there is no better place to comment this namespace, we do this in the
// present file.

/// @namespace retdec::llvmir2hll::semantics::libc Implementation of LibcSemantics.
