$($definec rl$-$fast $($xs :tl n :nat$)$ :tl

XXX$)$

;;; Q$10$

;;;

;;; State the property that rl$-$fast is equivalent to erl.

;; Make sure you don't have any errors.

"Property $2"$

$($property $($xs :tl n :nat$)$

XXX$)$

;;; Q$11$

;;;;

;;; Provide an explanation of why rl$-$fast is linear time by replacing the

;;; XXX in the string below with your answer.

$($defconst $"$XXX$")$

;;; Q$12$

;;;;

;;; Define the function rr$.$

;; rr: TX x Nat $->>$ TL

;;;;

;;; $($rr xs n$)$ rotates the true list xs to the right n times.

;;;

;;; Your function should be a linear$-$time function.