prop 0.47.0

Propositional logic with types in Rust
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

//! Power extensions.

use super::*;

/// Extends tautologies with convenient methods.
pub trait PowExt<A: Prop, B: Prop>: Sized {
    /// Transitivity.
    fn trans<C: Prop>(&self, f: Pow<C, B>) -> Pow<C, A>;
    /// Lift.
    fn lift<C: Prop>(&self) -> Pow<Self, C>;
}

impl<A: Prop, B: Prop> PowExt<A, B> for Pow<B, A> {
    fn trans<C: Prop>(&self, f: Pow<C, B>) -> Pow<C, A> {pow_transitivity(*self, f)}
    fn lift<C: Prop>(&self) -> Pow<Self, C> {pow_lift(*self)}
}