Trait prop::avatar_extensions::Product

pub trait Product<T, U> {
    fn mul(a: T, b: U) -> Self;
}

Implemented by products.

Required methods

fn mul(a: T, b: U) -> Self

Creates a product out of two propositions.

Implementors

impl<T, U> Product<T, U> for AntiMul<T, U>

impl<T, U> Product<T, U> for And<T, U>

impl<T, U: Prop> Product<T, U> for Imply<T, U>

impl<T: Prop, U: Prop> Product<T, U> for Eq<T, U>

impl<T: Product<U, V>, U, V> Product<U, V> for Inv<T>