class Steep::Subtyping::Check
def cacheable?(relation)
def cacheable?(relation) relation.sub_type.free_variables.empty? && relation.super_type.free_variables.empty? end
def cacheable?(relation) relation.sub_type.free_variables.empty? && relation.super_type.free_variables.empty? end