34 def dualtype(aut, dual):  argument
101 dual = spot.dualize(aut)  variable
141 dual = spot.dualize(aut)  variable
186 dual = spot.dualize(aut)  variable
221 dual = spot.dualize(aut)  variable
257 dual = spot.dualize(aut)  variable
304 dual = spot.dualize(aut)  variable
350 dual = spot.dualize(aut)  variable
384 dual = spot.dualize(aut)  variable
419 dual = spot.dualize(aut)  variable
458 dual = spot.dualize(aut)  variable
497 dual = spot.dualize(aut)  variable
538 dual = spot.dualize(aut)  variable
562 dual = spot.dualize(aut)  variable