1 2 3 4 5 6 7 8 9 10 11 12
from rename_scope import * a = Natural_UP() b = Natural_BP() if a.rtest() != 1: raise RuntimeError if b.rtest() != 1: raise RuntimeError f = equals