Skip to content
Norbert Preining edited this page Oct 6, 2017 · 2 revisions

pvar <var-name> : <sort-name>

(pignose)

Related: vars, var

Clone this wiki locally