Closed AshleyYakeley closed 5 months ago
For text that is intended to be HTML, but is not necessarily valid HTML.
type storable HTMLText
Mk Text
subtype HTMLText <: Literal
subtype HTMLText <: Textual
D(HTMLText) = Literal
Alternative:
subtype HTMLText <: Text
D(HTMLText) = HTMLText
Done.
For text that is intended to be HTML, but is not necessarily valid HTML.
type storable HTMLText
Mk Text
subtype HTMLText <: Literal
subtype HTMLText <: Textual
D(HTMLText) = Literal
Alternative:
type storable HTMLText
Mk Text
subtype HTMLText <: Text
D(HTMLText) = HTMLText