Esempio n. 1
0
def empty_is_empty(asker):
    return asker.reply(answer=T.yes())
Esempio n. 2
0
 def return_yes(asker):
     return asker.reply(answer=T.yes())
Esempio n. 3
0
def no_to_yes(asker):
    return asker.reply(answer=T.yes())
Esempio n. 4
0
def opposite(a):
    if a.head == T.yes.head:
        return T.no()
    elif a.head == T.no.head:
        return T.yes()
    return T(opposite.head, a=a)