def base_up_cast(b):
return cast_fact(BOOP1Type, b)
def base_down_cast(b):
return cast_fact(BaseFactType, b)
def up_cast(b):
return cast_fact(BOOP3Type, b)
def bad_cast(b):
return cast_fact(FLOOPType, b)
def down_cast(b):
return cast_fact(BOOP1Type, b)