{"ast_node_type":"other","tokens":[{"end":38,"kind":"keyword","start":0,"text":"///"}]}
    /// the correctness of the result.
    /// the final result. After this, all elements will be immutable to maintain
    pub fn freeze(self) -> TransitiveRelation<T> {