Пример #1
0
 def base_up_cast(b):
     return cast_fact(BOOP1Type, b)
Пример #2
0
 def base_down_cast(b):
     return cast_fact(BaseFactType, b)
Пример #3
0
 def up_cast(b):
     return cast_fact(BOOP3Type, b)
Пример #4
0
 def bad_cast(b):
     return cast_fact(FLOOPType, b)
Пример #5
0
 def down_cast(b):
     return cast_fact(BOOP1Type, b)