Cross Reference: NestedParams.het
xref
: /
hets
/
test
/
ParameterSpecTest
/
NestedParams.het
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
NestedParams.het revision fe7499000ef2ec6cff19fdcb7e96827ba5368bb0
library NestedParams
spec s [sort p] = sort s[p]
spec s2 = s[s[s[sort p] fit p |-> s[p]] fit p |-> s[s[p]]]