Automata.Z3.Tests.Z3_Z3ContextTests.CssCombinedCodepoint C# (CSharp) Method

        static long CssCombinedCodepoint(int hs, int ls)
        {
            long combinedCodePoint =
                            0x10000 + ((hs - 0xD800) * 0x400) + (ls - 0xDC00);
            return combinedCodePoint;
        }