#pragma once #include #include namespace rc { using namespace nix; template<> struct Arbitrary { static Gen arbitrary(); }; }