pub fn catalyzed_reaction(
th: Rc<ModalDblTheory<Unital>>,
) -> ModalDblModel<Unital>Expand description
A reaction involving three species, one playing the role of a catalyst.
A free symmetric monoidal category, viewed as a reaction network.
pub fn catalyzed_reaction(
th: Rc<ModalDblTheory<Unital>>,
) -> ModalDblModel<Unital>A reaction involving three species, one playing the role of a catalyst.
A free symmetric monoidal category, viewed as a reaction network.