Type Alias Sd 

pub type Sd<A, B> = Pos<Not<Eq<A, B>>>;

sd(a, b) := ◇(¬(a == b)).

This equals (¬(a == b))^true ⋁ ¬((¬(a == b))^true ⋁ false^(¬(a == b))).

Aliased Type

pub enum Sd<A, B> {
    Left(fn(True) -> Rc<dyn Fn((Rc<dyn Fn(A) -> B>, Rc<dyn Fn(B) -> A>)) -> False>),
    Right(Rc<dyn Fn(Either<fn(True) -> Rc<dyn Fn((Rc<dyn Fn(A) -> B>, Rc<dyn Fn(B) -> A>)) -> False>, fn(Rc<dyn Fn((Rc<dyn Fn(A) -> B>, Rc<dyn Fn(B) -> A>)) -> False>) -> False>) -> False>),
}

Variants

Left(fn(True) -> Rc<dyn Fn((Rc<dyn Fn(A) -> B>, Rc<dyn Fn(B) -> A>)) -> False>)

Left case.

Right(Rc<dyn Fn(Either<fn(True) -> Rc<dyn Fn((Rc<dyn Fn(A) -> B>, Rc<dyn Fn(B) -> A>)) -> False>, fn(Rc<dyn Fn((Rc<dyn Fn(A) -> B>, Rc<dyn Fn(B) -> A>)) -> False>) -> False>) -> False>)

Right case.