catlog::stdlib::models

Function negative_loop

Source 
pub fn negative_loop(th: Rc<DiscreteDblTheory>) -> DiscreteDblModel
Expand description

The negative self-loop.

A signed graph or free signed category, possibly with delays or indeterminates.