/** */ class type_output_html implements type_output { public readonly kind : string = "html"; public readonly data : {}; public constructor(data : {}) {this.data = data;} /** */ public render_element( element : type_element ) : string { return lib_plankton.call.distinguish( element, { "text": ({"content": content}) => ( "" + content + "" ), "group": ({"members": members}) => ( "
\n" + members.map(x => this.render_element(x)).join("") + "
\n" ), }, { "fallback": (element) => ( "
"
					+
					JSON.stringify(element, undefined, "    ")
					+
					"
" ), } ); } }