catlog::stdlib::theories

Function th_multicategory

Source 
pub fn th_multicategory() -> ModalDblTheory
Expand description

The theory of a (non-symmetric) multicategory.