Skip to main content

iso_ty

oxilean_std::functional_programming::functions

Function iso_ty 

Source 
pub fn iso_ty() -> Expr
Expand description

Iso : Type → Type → Type

Isomorphism S ≅ A: (to: S → A, from: A → S).