class Steep::Interface::Block

def free_variables()

def free_variables()
  @fvs ||= type.free_variables + (self_type&.free_variables || Set[])
end