TDOMImplementation.t ->
object
  method createDocument :
    namespaceURI:Gdome.domString option ->
    qualifiedName:Gdome.domString ->
    doctype:Gdome.documentType option -> Gdome.document
  method createDocumentFromMemory :
    doc:Gdome.domString ->
    ?validatingMode:IDOMImplementation.validatingMode ->
    ?keepEntities:bool -> unit -> Gdome.document
  method createDocumentFromURI :
    uri:string ->
    ?validatingMode:IDOMImplementation.validatingMode ->
    ?keepEntities:bool -> unit -> Gdome.document
  method createDocumentType :
    qualifiedName:Gdome.domString ->
    publicId:Gdome.domString ->
    systemId:Gdome.domString -> Gdome.documentType
  method disableEvent : doc:Gdome.document -> name:string -> unit
  method enableEvent : doc:Gdome.document -> name:string -> unit
  method eventIsEnabled : doc:Gdome.document -> name:string -> bool
  method hasFeature :
    feature:Gdome.domString -> version:Gdome.domString -> bool
  method saveDocumentToFile :
    doc:Gdome.document -> name:string -> ?indent:bool -> unit -> bool
  method saveDocumentToFileEnc :
    doc:Gdome.document ->
    name:string -> encoding:string -> ?indent:bool -> unit -> bool
  method saveDocumentToMemory :
    doc:Gdome.document -> ?indent:bool -> unit -> string
  method saveDocumentToMemoryEnc :
    doc:Gdome.document -> encoding:string -> ?indent:bool -> unit -> string
end