def __hrepr__(self, H, hrepr): if hrepr.config.short_vars: return Var.__hrepr__(self, H, hrepr) else: self.ensure_tag() return H.div['myia-var', 'myia-filter-var'](f'{self.tag}: {self.filter}')
def __hrepr__(self, H, hrepr): if hrepr.config.short_vars: return Var.__hrepr__(self, H, hrepr) else: self.ensure_tag() return H.div["myia-var", "myia-filter-var"](f"{self.tag}: {self.filter}")