Values.NotStatementA logical rule statement used to negate the results of another rule statement. You provide one Statement within the NotStatement.
type nonrec t = {statement : Statement.t;The statement to negate. You can use any statement that can be nested.
*)}