smack
smack copied to clipboard
PhantomData in the Rust model is not needed
SMACK can now support the PhantomData structure from standard Rust, so the model in smack.rs
is no longer needed.