lemma/serialization/msgpack.rs
1use crate::planning::ExecutionPlan;
2use crate::LemmaError;
3use std::collections::HashMap;
4
5/// Convert MsgPack values to string values for use with ExecutionPlan::with_values().
6///
7/// This is a stub implementation.
8pub fn from_msgpack(
9 _msgpack: &[u8],
10 _plan: &ExecutionPlan,
11) -> Result<HashMap<String, String>, LemmaError> {
12 todo!("MsgPack serialization not yet implemented");
13}