GHCJS.DOM.HTMLDetailsElement

htmlDetailsElementSetOpen

htmlDetailsElementGetOpen

data HTMLDetailsElement

class IsHTMLDetailsElement o

castToHTMLDetailsElement

gTypeHTMLDetailsElement

toHTMLDetailsElement