use namespace Facebook\XHP\{Core as x, HTML};
use type Facebook\XHP\HTML\{doctype, html};
use namespace HH\Lib\Str;

abstract xhp class BaseElement extends x\element {
	attribute
		string inherited = '';
}

final xhp class MyElement extends BaseElement {
	attribute
		string c = '';
	
	public function foo() {
		echo $this->:c;
		echo $this->:inherited;
	}
}

<<__EntryPoint>>
function bar(): void {
	$a = <MyElement />;
	$a->foo();
}