frodo821

from abc import ABC, abstractmethod


class Proposition(ABC):
  def __and__(self, other):
    return CompositeProposition('and', self, other)

  def __or__(self, other):
    return CompositeProposition('or', self, other)

frodo821

[style]
based_on_style = "google"
column_limit = 120
indent_width = 2
continuation_indent_width = 2
split_before_closing_bracket = true
split_before_first_argument = true
dedent_closing_brackets = true
coalesce_brackets = true