library ParamView

spec s [sort p] given {sort i} = sort s

view v[sort r] given {sort j} : {sort p} to {sort q} =

p |-> q

spec s2 [sort p2] = s[view v[sort t]]