Sfairadora

  • Reference Guide

is_union_subtype

is_union_subtype(union, type)
Determines, whether the specified type is a permitted instance of the type union. If the parameter union is of the union category, the function returns TRUE, whenever the type is a subtype of the union. If the union parameter is an unbound type union, the function returns always TRUE. If the union type is not of the union category, the function returns TRUE, when the type type is equal to the type union.

See Also