Function what

gecode/flatzinc/ast.hh:61–61

    TypeError() : _what("") {}
    TypeError(std::string what) : _what(what) {}
    std::string what(void) const { return _what; }
  };

  /**