"description":"The `append` function takes a list and another value with the same entry type,\nor a buffer and another buffer of length 1 and outputs a buffer or a list of the same type with max_len += 1.",
"description":"The `append` function takes a list and another value with the same entry type,\nand outputs a list of the same type with max_len += 1.",