This is a sample project using Saxon HE 12 Java cross-compiled to .NET to select some elements valus with XPath 3.1 and cast them to an xs:token.
martin-honnen/SaxonHE12NetCastStringToTokenExample
Sample project using Saxon HE 12 .NET cross-compiled with IKVM to .NET to read out elements with XPath and cast each element value to an xs:token
C#MPL-2.0