1% PROOF		: Transistor Implementation of a Counter		%
2% FILE		: types.ml						%
3%									%
4% DESCRIPTION	: Defines type abreviations for CMOS circuits.		%
5%									%
6% AUTHOR	: J.Joyce						%
7% DATE		: 31 March 1987						%
8
9let val = ":num";;
10let time = ":num";;
11let posn = ":num";;
12let vec = ":^posn->^val";;
13let wire = ":^time->^val";;
14let bus = ":^time->^vec";;
15let word = ":^posn->bool";;
16let boolsig = ":^time->bool";;
17let wordsig = ":^time->^word";;
18let numsig = ":^time->num";;
19