pub fn encode_constraint_definitions( defs: &[ConstraintDefinition], ) -> Result<Vec<u8>, StoreCodecError>