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]]