doc type-inst variables
impl type-inst variable
impl type-inst variable