Lets

html5: Table[string, string] = to(getAttr(pyImport("html.entities"), "html5"),
                                  Table[string, string])

entitydefs: Table[string, string] = to(getAttr(pyImport("html.entities"),
    "entitydefs"), Table[string, string])

name2codepoint: Table[string, int] = to(getAttr(pyImport("html.entities"),
    "name2codepoint"), Table[string, int])

codepoint2name: Table[int, string] = to(getAttr(pyImport("html.entities"),
    "codepoint2name"), Table[int, string])