Skip to main content

setoid_relation_ty

oxilean_std::lambda_calculus::functions

Function setoid_relation_ty 

Source 
pub fn setoid_relation_ty() -> Expr
Expand description

SetoidRelation: the equivalence relation of a setoid