Proofs.hpp File Reference

#include "ArrayIndexRange.hpp"
#include "Core.hpp"

Include dependency graph for Proofs.hpp:

Go to the source code of this file.

Namespaces
	llama

Functions
template<std::size_t PieceLength, typename Mapping >
constexpr auto	llama::mapsPiecewiseContiguous (const Mapping &m) -> bool