我注意到有一个我试图导入并创建ZModuloCyclicType模块的库。Require Import ZArith_base.现在，我想访问记录Instance zmod_ops : ZnZ.Ops Z := ZnZ.MkOps中的succ操作。). (* Error: The term "ZquotZ8_ops" has type "ZnZ.Ops Z" while it is expected to hav
浏览 10提问于2019-11-06得票数 0
回答已采纳
1回答
failure: Do other stuff n.req() ,}具体来说，我需要能够从chromes控制台调用提取函数
浏览 2提问于2017-03-19得票数 0
回答已采纳
嗨，我正在尝试(可怕地)访问对象中的值，这个值在我认为是描述符的范围内，我相信这是因为当我控制台记录对象时，它会显示如下：如下所示：
我试图访问的值是模块：{i：.在[Scopes]
我不知道[Scopes]是什么，并且试图在对象和console.log中执行get函数，返回的值似乎返回
浏览 0提问于2021-06-01得票数 0
回答已采纳
1回答
我有个问题要重新评估如何确定记录更新的来源..。
我有一个带有多个表和多个表单的Access 2010数据库。所有表单后面都有VBA代码。许多VBA子类和函数插入、更新或删除记录。正如我所提到的，许多不同的子/函数会对数据库进行更改。我想知道的是，如何才能找到发起数据库更改请求的哪个子/功能模块？目前，我已经向每个子/函数</
浏览 0提问于2014-11-18得票数 1
1回答
我明白module.export的目的// Parent.jscreateChild: function(req, res) {Child.Create(..) .. }1)模块对象内的函数如何调用其他模块？例如，在Parent.js中，我还可以调用另一个模块Child.js。2)如果我想向Parent.js添加私有函数
浏览 2提问于2014-04-16得票数 1
2回答
我已经创建了一个函数，它以所需的名称在python中导入一个模块。我只想知道，这个新局部变量是如何在全局范围内被访问的。modulename, newname):现在不能在函数之外访问pax变量，我
浏览 0提问于2018-11-11得票数 0
首先，我对我的英语感到抱歉。我还在学习...我想知道如何使其他工作簿无法访问某些函数或模块。相反，我需要这些函数为工作簿内的所有模块公开。我说清楚了吗？例如:我需要打开两个工作簿，这两个工作簿包含同名的函数，但这两个函数执行的操作略有不同。
浏览 0提问于2015-10-07得票数 0
1回答
我在Swift中有一个包含Shape类的Shapes模块。我刚刚打开了一个新的游乐场，并将这个模块添加到源文件中。游乐场中的Square类可以继承Shapes模块中的Shape类。没有问题，但Shape类中的公共方法在theSquare类中被覆盖。
根据swift消息来源，在执行继承时，只有开放的成员函数才能被覆盖。也许这是一个非常基本的问题，所以我已经为问这个问题感到抱歉了。这里是一个示例游乐场代
浏览 0提问于2017-08-07得票数 2
1回答
我试图通过类型记录文档来理解与ES6模块相同的模块。
模块在自己的范围内执行，而不是在全局范围内执行；这意味着在模块中声明的变量、函数、类等在模块之外不可见，除非它们是使用导出表单之一显式导出的。相反，要使用从不同模块导出的变量、函数、类、接口
浏览 2提问于2019-04-03得票数 2
回答已采纳
2回答
为了调试目的，我想访问控制台中的角模块函数客户端。
是否有一种方法可以访问浏览器控制台内的角度$scope？
浏览 0提问于2015-12-16得票数 1
回答已采纳
我正在尝试使一个安卓模块，并获得模块内的WiFi SSID。Context.WIFI_SERVICE);String ssid = info.getSSID();
函数在模块内不起作用如何获取安卓模块中的WiFi SSID字符串？
浏览 1提问于2018-08-18得票数 0
装货顺序如下：
在我的Range2app中，这个JavaScript文件是动态加载的，然后按如下方式访问该值：...这样做，我可以访问外部JS放置<e
浏览 1提问于2017-01-19得票数 0
一个基本的问题--我如何访问一个模块中的函数，然后是另一个模块，然后是一个类。def set_trust_ca_file(ca_file) endend
在我的档案里
浏览 2提问于2012-05-25得票数 0
回答已采纳
1回答
函数定义
、
我想知道在函数中定义函数是否是JavaScript中的一个好做法。在上面的示例中，在foo的作用域之外定义module.exports更好吗？为什么为什么不呢？
浏览 1提问于2015-10-08得票数 0
回答已采纳
1回答
我有一个带有几个函数(比如10-20个函数)的python模块。其中大约50%的函数使用导入的模块(这可能很“繁重”)。“更好的实践”是：或
2-在模块头中进行导入-即使该模块中50%的函数不使用导入<
浏览 1提问于2018-03-23得票数 0
我正在使用谷歌的“材料设计图”库与微软的TypeScript在Visual 2015内。我的Index.html页面中有一个脚本标记，如下所示：在我的一个类型记录<
浏览 0提问于2016-01-14得票数 0
回答已采纳
1回答
我们用Embarcadero Delphi (10.3)成功地创建了一个apache模块。下一步是使用SSO功能(NTML/Kerberos)扩展这个模块。我知道apache有几个模块可以通过扩展httpd.conf文件(甚至像模块使用的位置)来启用php/html内容和目录的sso特性。但我不知道如何从apache-模块内部访问apache-server变量或有关sso凭据(windows登录名)的</e
浏览 0提问于2020-01-16得票数 0
3回答
沟通凝聚力
、、、、
模块有耦合性和内聚性。好的。有功能内聚和通信内聚。功能内聚是按功能分组的。好的。通信内聚是按输入/输出数据分组的。嗯..。一点也不好。
浏览 3提问于2011-03-14得票数 2
回答已采纳
想知道是否有一种方法来计算Haskell中浮动的第n根。我可以尝试编写一个算法，但在此之前，我想知道是否有一个模块或函数是我找不到的。我发现这一页：
它提到了一个nroot函数，但无法说明如何访问它。它没有出现在标准库中(当我尝试运行nroot(3,27)时，它告诉我函数不在作用域内)。我尝试通过输入Numeric.Units.Dimensional导入import Numeric.Units.Dimensional，但被告知它找不
浏览 1提问于2017-03-10得票数 0
回答已采纳
云服务器
ICP备案
云直播
对象存储
即时通信 IM
腾讯云开发者
