Hi
The voltage selection of USB PD (Power Delivery) used with the Type-C connectors works based on a rather complicated data protocol.
USB PD PSUs only supply the default 5V until the "consumer" device negotiates a transition to a different mode with a higher voltage.
If You have a suitable USB PD power supply and You want to power your TS100 from it using for example the 20V mode, then You will need a module with a USB PD controller which will do the "consumer" side negotiations to get the supply to the 20V mode.
In fact, the MCU used in the TS100 is capable of providing a USB PD interface and acting as the controller, but obviously the TS100 does not have the required connections and connectors for that.
It would be interesting to see if anyone can hack the TS100, add a Type-C socket and run it on the USB PD 20V mode...
The TS80 does that by itself, and requests the 9V mode from the PSU.
Erik