Skip to main content

structural_subtyping_ty

oxilean_std::lambda_calculus::functions

Function structural_subtyping_ty 

Source 
pub fn structural_subtyping_ty() -> Expr
Expand description

StructuralSubtyping: subtyping determined by structure, not names