catlog::stdlib::models

Function delayed_positive_loop

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

The delayed positive self-loop.

A free delayable signed category.