[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Pcal, procedures and tests



 

Macro(a,b) = Test(x) == x.out = a /\ x.in = b

 
I mean:
 
Macro(a,b) == Test(x) == x.out = a /\ x.in = b
 
--
FL