Ejemplo n.º 1
0
 def __init__(self):
     super().__init__('false', value=False, term=Term.from_bool(False))
Ejemplo n.º 2
0
 def __init__(self):
     super().__init__('true', value=True, term=Term.from_bool(True))