Trait prop::path_semantics::PBinOrd[−][src]

pub trait PBinOrd {
    type Left;
    type Right;
}

Path semantical order for binary operators.

Associated Types

type Left[src]

The left argument.

type Right[src]

The right argument.

Loading content...

Implementors

impl<T, U> PBinOrd for POrdProof<T, U>[src]

type Left = T

type Right = U

impl<T, U> PBinOrd for And<T, U>[src]

type Left = T

type Right = U

impl<T, U> PBinOrd for Imply<T, U>[src]

type Left = T

type Right = U

impl<T, U> PBinOrd for Or<T, U>[src]

type Left = T

type Right = U

Loading content...