Proposition_And constructor

Proposition_And({
  1. Proposition? left,
  2. Proposition? right,
})

Implementation

factory Proposition_And({
  Proposition? left,
  Proposition? right,
}) {
  final $result = create();
  if (left != null) {
    $result.left = left;
  }
  if (right != null) {
    $result.right = right;
  }
  return $result;
}