pub trait PropMonotonicity { }

Implementors§