Function serialize_substring

crates/compile/src/compile.rs:1550–1558

(
  ss: &LeanSubstring,
  stt: &CompileState,
  bytes: &mut Vec<u8>,
)

          ExprData::Lam(name, ty, body, info, _) => {
            let name_addr = compile_name(name, stt);
            stack.push(Frame::BuildLam(name_addr, info.clone()));
            stack.push(Frame::Compile(body.clone()));
            stack.push(Frame::Compile(ty.clone()));
          },

          ExprData::ForallE(name, ty, body, info, _) => {
            let name_addr = compile_name(name, stt);
            stack.push(Frame::BuildAll(name_addr, info.clone()));
            stack.push(Frame::Compile(body.clone()));
            stack.push(Frame::Compile(ty.clone()));
          },