invl decl