Function lotka_volterra_dynamics 

pub fn lotka_volterra_dynamics(
    th: Rc<ModalDblTheory<NonUnital>>,
) -> ModalDblModel<NonUnital>

An example of Lotka–Volterra dynamics viewed as a non-unital theory for a symmetric multicategory.