[txdv]

You parse the string and then iterate over the passed arguments and check if everything adds ups. Rather straightforward.

Expressing it in the type system like TS did is impressive, but not simple.