CADiZ

Reference manual / Z-related commands / In situ replacement commands / schema expansion


The schema expansion command performs shallow expansions of schemas.

pre [S ; S ' ; S ? ; S ! @ p]   \trarrow   \exists S ' ; S ! @ [S ; S ' ; S ? ; S ! @ p]

Tactic example

"schema expansion" e1 e2

This example applies the schema expansion command to expressions e1 and e2.


IT 12-Jul-2000