method
spec_ty_view = spec_ty_view