Wrapper struct for models of a theory#180

Open

kris-brown wants to merge 4 commits intosymbolic_model_explicitfrom wrap

+200-26

Commits on Dec 12, 2024

working struct Wrapper
Kris Brown
committed
Allow docstrings on wrapper struct declarations
Kris Brown
committed
Typed wrapper structs
Kris Brown
committed
Optional typed wrapper constructor where type parameters are provided
Kris Brown
committed