def render(self, context): return primitives.newTextStack(colors.genericColor, repr(self))
def render(self, context): return primitives.newTextStack(colors.variableColor, repr(self))
def renderBoundedVariableBinding(variable, domain): middleStack = primitives.newTextStack(colors.variableColor, ":") return variable.render().stack(0, middleStack, spacing = distances.variable_binding_spacing).stackCentered(0, domain.render(), spacing = distances.variable_binding_spacing)
def renderStringSymbol(s): return primitives.newTextStack(colors.symbolColor, repr(s))