sig exception DOMException of (GdomeDOMExceptionT.t * string) exception DOMImplException of string exception DOMCastException of string end