I don't know what that ord.als
file is, but you should instead use the ordering library (ordering.als
) that ships with Alloy. To access that file:
- click
File -> Open Sample Models
from main menu - select
util/ordering.als
;
to open it in your model, simply write
open util/ordering[S]
sig S {}