class Steep::TypeInference::Context::BreakContext

def initialize(break_type:, next_type:)
  @break_type = break_type
  @next_type = next_type
end

def subst(s)
  BreakContext.new(break_type: break_type.subst(s), next_type: next_type&.subst(s))
end