Proposition_Not constructor

Proposition_Not({ Proposition? proposition, })

Implementation

factory Proposition_Not({
  Proposition? proposition,
}) {
  final $result = create();
  if (proposition != null) {
    $result.proposition = proposition;
  }
  return $result;
}