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