A region "covers" an indentation with width if it has width as known
indentation width (either as primary, or in case of an Indent region as
alternate width).
A region "covers" an indentation with width if it has width as known
indentation width (either as primary, or in case of an Indent region as
alternate width).
Does width represent an undent of an enclosing indentation region?
This is the case if there is an indentation region that goes deeper than width
and that is enclosed in a region that contains width as an indentation width.
Does width represent an undent of an enclosing indentation region?
This is the case if there is an indentation region that goes deeper than width
and that is enclosed in a region that contains width as an indentation width.