提供 type specification