여기서

where unknownLength = 4


이 부분 어떻게 들어간걸까??


왜


where inner marr !len s !I =

       finish marr Len s' =


이 웨어절에 unknownLength 가 낑겨들어가지 않고 따로 떼어져 나왔을까??


저거 문법상 가능하긴 함??


어느 선언부에 붙어있는 where임?


그리고 따로 떼어서 놓는게 가능하다면, inner, finish 가 있는 웨어절에다가 같이 붙였을때랑 의미 차이는 무엇임?