Function prop::path_semantics::assume_naive
source[−]pub fn assume_naive<A: Prop, B: Prop, C: Prop, D: Prop>(
) -> PSemNaive<A, B, C, D> where
A: POrd<C>,
B: POrd<D>,
Expand description
Assume naive core axiom safely.