Values.AndStatementA logical rule statement used to combine other rule statements with AND logic. You provide more than one Statement within the AndStatement.
type nonrec t = {statements : Statements.t;The statements to combine with AND logic. You can use any statements that can be nested.
*)}