Cross Reference: ParamView.het
xref
: /
hets
/
test
/
ParameterSpecTest
/
ParamView.het
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
ParamView.het revision fe7499000ef2ec6cff19fdcb7e96827ba5368bb0
library ParamView
spec s [sort p] = sort s
view v[sort r] : {sort p} to {sort q} =
p |-> q
spec s2 [sort p2] = s[view v[sort t]]