//------------------------------------------------------------------------- type_id_t type_id(const value &v) { return v.type_id(); }