class Steep::TypeInference::LogicTypeInterpreter

def subtyping?(sub_type:, super_type:) 

def subtyping?(sub_type:, super_type:)
  !no_subtyping?(sub_type: sub_type, super_type: super_type)
end