正确的术语：调用订购模块？使用订购模块？用排序模块约束一个集合？
Right terminology: Call the ordering module? Use the ordering module? Constrain a set with the ordering module?
我有一个使用排序模块的 Alloy 模型：
open util/ordering[House]
我正在写我的模型的描述。描述上述表达式时使用的正确术语是什么？目前我是这样说的：
Call the ordering module with the set of houses.
但我认为这是不正确的。我不认为模型 "calls" 是一个模块。什么是正确的术语？
我会这样写描述：
Enforces the set of Houses to be ordered using the util/ordering module
您可能寻求的术语是，您正在导入模块 util/ordering，并将签名 House 作为参数传递。
我有一个使用排序模块的 Alloy 模型：
open util/ordering[House]
我正在写我的模型的描述。描述上述表达式时使用的正确术语是什么？目前我是这样说的：
Call the ordering module with the set of houses.
但我认为这是不正确的。我不认为模型 "calls" 是一个模块。什么是正确的术语？
我会这样写描述：
Enforces the set of Houses to be ordered using the util/ordering module
您可能寻求的术语是，您正在导入模块 util/ordering，并将签名 House 作为参数传递。