正确的术语：调用订购模块？使用订购模块？用订购模块约束一套？

Question

我有一个使用订购模块的Alloy模型：

open util/ordering[House]

我正在写我的模型的描述。在描述上述表达式时使用的正确术语是什么？目前我这样说：

Call the ordering module with the set of houses.

但我不认为这是正确的。我不认为模型“调用”模块。什么是正确的术语？

Answer 1

我会写如下描述：

Enforces the set of Houses to be ordered using the util/ordering module

您可能会寻求的术语是您导入模块util / ordering并将签名House作为参数传递。