Function serialize_syntax

crates/compile/src/compile.rs:1486–1490

Serialize a Lean Syntax to bytes.

(syn: &LeanSyntax, stt: &CompileState)

                      entries,
                      n_canonical,
                      n_collapsed,
                      orig_head_collapsed: false,
                    });
                    for arg in collapsed_args.iter().rev() {
                      stack.push(Frame::Compile(arg.clone()));
                    }
                    for arg in sorted_canon.iter().rev() {
                      stack.push(Frame::Compile(arg.clone()));