#pragma once
#include <vector>

template <class T>
class Exist
{
public:
    bool operator()(T x);

private:
    std::vector<T> seen_;
};

#include "exist.hxx"