Implementation of edit trees in rust as in: