ExprT is to evaluate to an integer.The highest allowed value is 16#FFFFFFFF,that is,the value must fit in 32 bits.receive.after works exactly as receive,except that if no matching message has arrived within ExprT ...
ExprT is to evaluate to an integer.The highest allowed value is 16#FFFFFFFF,that is,the value must fit in 32 bits.receive.after works exactly as receive,except that if no matching message has arrived within ExprT ...