Function get_all_from_meta

crates/compile/src/decompile.rs:1221–1228

Extract the all field from ConstantMeta (original Lean all field for roundtrip).

(meta: &ConstantMeta)

            stack.push(Frame::BuildLam(
              Name::anon(),
              BinderInfo::Default,
              mdata_layers,
            ));
            stack.push(Frame::Decompile(body.clone(), u64::MAX));
            stack.push(Frame::Decompile(ty.clone(), u64::MAX));
          },

          // All: extract binder name/info from arena
          (
            ExprMetaData::Binder { name: name_addr, info, children },
            Expr::All(ty, body),