Struct HomotopyEquivalence 

pub struct HomotopyEquivalence {
    pub type_a: String,
    pub type_b: String,
    pub forth_map: String,
    pub back_map: String,
    pub is_univalent: bool,
}

Fields

type_a: String

type_b: String

forth_map: String

back_map: String

is_univalent: bool

Implementations

impl HomotopyEquivalence

pub fn new(a: &str, b: &str, f: &str, g: &str) -> Self

pub fn univalent_equivalence(self) -> Self

pub fn contractibility_condition(&self) -> String

pub fn univalence_axiom(&self) -> String

Trait Implementations

impl Clone for HomotopyEquivalence

fn clone(&self) -> HomotopyEquivalence

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for HomotopyEquivalence

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.