# eukhe: the proof of LAW replace_rank_past_range_example

import Base
import ../../laws/replace.bend as Replace

def Replace.replace_rank_past_range_example():
  {==}