Пример #1
0
 def __init__(self):
     super().__init__('false', value=False, term=Term.from_bool(False))
Пример #2
0
 def __init__(self):
     super().__init__('true', value=True, term=Term.from_bool(True))