class Steep::Subtyping::Check

def check_function(name, relation)
  relation.function!
  All(relation) do |result|
    result.add(relation.map {|fun| fun.params }) do |rel|
      check_method_params(name, rel)
    end
    result.add(relation.map {|fun| fun.return_type }) do |rel|
      check_type(rel)
    end
  end
end