Yes, it's referenced in `tc-structs.rkt`. Other than adding another case, this function is unchanged.