Class CompiledMutualBlock

crates/compile/src/compile.rs:2320–2329

Result of compiling a mutual block.

      serialize_source_info(info, stt, bytes);
      bytes.extend_from_slice(store_string(val, stt).as_bytes());
    },
    LeanSyntax::Ident(info, raw_val, val, preresolved) => {
      bytes.push(3);
      serialize_source_info(info, stt, bytes);
      serialize_substring(raw_val, stt, bytes);
      bytes.extend_from_slice(compile_name(val, stt).as_bytes());
      Tag0::new(preresolved.len() as u64).put(bytes);
      for pr in preresolved {
        serialize_preresolved(pr, stt, bytes);
      }
    },
  }
}