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