ParamView.het revision 7f0d18ec8ab7ca3b0f7abd11199e45073026e329
7f0d18ec8ab7ca3b0f7abd11199e45073026e329Christian Maederlibrary ParamView
7f0d18ec8ab7ca3b0f7abd11199e45073026e329Christian Maederspec s [sort p] given {sort i} = sort s
7f0d18ec8ab7ca3b0f7abd11199e45073026e329Christian Maederview v[sort r] given {sort j} : {sort p} to {sort q} =
7f0d18ec8ab7ca3b0f7abd11199e45073026e329Christian Maederspec s2 [sort p2] = s[view v[sort t]]