let rev t = List.rev t