parameters: ((x0, y0), (x1, y1))
docstring: Draw a drafting-style arrow from (x0, y0) to (x1, y1).
docstring_summary: Draw a drafting-style arrow from (x0, y0) to (x1, y1).
docstring_tokens: Draw a drafting - style arrow from ( x0 y0 ) to ( x1 y1 ) .
function: def arrow((x0, y0), (x1, y1)):
      "Draw a drafting-style arrow from (x0, y0) to (x1, y1)."
      direction = normalize(displacement((x0, y0), (x1, y1)))
      dx2, dy2 = rotate(direction, (-3.5, -2))
      dx3, dy3 = rotate(direction, (-3.5, 2))
      path(['M', x0, y0, 'L', x1, y1, 'm', dx2, dy2, 'l', -dx2, -dy2, 'l', dx3, dy3])
function_tokens: def arrow ( ( x0 , y0 ) , ( x1 , y1 ) ) : direction = normalize ( displacement ( ( x0 , y0 ) , ( x1 , y1 ) ) ) dx2 , dy2 = rotate ( direction , ( - 3.5 , - 2 ) ) dx3 , dy3 = rotate ( direction , ( - 3.5 , 2 ) ) path ( [ 'M' , x0 , y0 , 'L' , x1 , y1 , 'm' , dx2 , dy2 , 'l' , - dx2 , - dy2 , 'l' , dx3 , dy3 ] )