terms (cargo): Tree terms and patterns data structures
Keywords: term|pattern|tree|rewriting