argtype decls