class Steep::Subtyping::Constraints

def unknown?(var)

def unknown?(var)
  dictionary.key?(var)
end