Graphics.UI.Gtk.WebKit.JavaScriptCore.JSStringRef
type JSChar
type JSCharRef
jsstringcreatewithcharacters
jsstringcreatewithutf8cstring
jsstringretain
jsstringrelease
jsstringgetcharactersptr
jsstringgetlength
jsstringgetmaximumutf8cstringsize
jsstringgetutf8cstring
jsstringisequal
jsstringisequaltoutf8cstring