[sv-ac] reject_on accept_on

Hi All,

 

Last meeting we discussed 1757. There was some discussion of whether 

reject_on should be explicitly described (as it is now in the proposal),
or

should be defined as a derived operator "not(accept_on (b) not P)" with
no extra 

details (as in 1932.)

 

I like the derived operator more. 

Does anyone think it should be described explicitly?

 

Thanks

 

Doron


-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.