ForAllType

ForAllType[x, type]

ForAllType[x, cond, type]

ForAllType[{x1, x1, …}, cond, type]