class Steep::Subtyping::Constraints::UnsatisfiedInvariantError::VariablesUnknownsNotDisjoint

def initialize(vars:)

def initialize(vars:)
  @vars = vars
end