Closed filipeom closed 2 months ago
List_append_last v lst was changed into List_cons v lst which conses v to the head of lst.
List_append_last v lst
List_cons v lst
v
lst
List_append lst v was changed into List_append l0 l1 which appends l1 to l0.
List_append lst v
List_append l0 l1
List_append_last v lstwas changed intoList_cons v lstwhich consesvto the head oflst.List_append lst vwas changed intoList_append l0 l1which appends l1 to l0.