id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
9	Visibility for Contained Subtypes	dom	dan	"Is this correct? Or is visibility for contained subtypes handle somewhere else?

{{{
perVisible :: ASNType a -> ESS a -> ESS a
perVisible (BT INTEGER) c = c
}}}

48.4 If a type defined with an extensible constraint is referenced in a ""ContainedSubtype"", the newly defined type does not inherit the extension marker or any of its extension additions (see 47.3.3). The newly defined type can be made extensible by including an extension marker at the outermost level in its ""ElementSetSpecs"" (see also 46.3). For example:

{{{
                  A ::= INTEGER (0..10, ..., 12) -- A is extensible.
                  B ::= INTEGER (A)                        -- B is inextensible and is constrained to 0-10.
                  C ::= INTEGER (A, …)                     -- C is extensible and is constrained to 0-10.
}}}

"	defect	new	major		component1