ForAllType

ForAllType[x,type] represents a type parameterized by x.

ForAllType[x,cond,type] represents a type satisfying cond.

ForAllType[{x1,x1,…},cond,type] represents a type with multiple parameters.

Please visit the official Wolfram Language Reference for more details and examples on core symbols.