class Steep::Subtyping::Trace

def method(name, sub, sup, &block)

def method(name, sub, sup, &block)
  push :method, sub, sup, name, &block
end