TXSTimeInstant = TXSDateTime;
TXSDateTime TXSTimeInstant;
XSBuiltIns
This is type XSBuiltIns.TXSTimeInstant.