doc-src/Tutorial/Ifexpr/ifex
author ballarin
Fri, 02 May 2003 20:06:59 +0200 (2003-05-02)
changeset 13950 74f638d8a829
parent 5377 efb799c5ed3c
permissions -rw-r--r--
File for document preparation.
datatype ifex = CIF bool | VIF nat | IF ifex ifex ifex