Skip to main content

irrelevant_argument_ty

oxilean_std::lambda_calculus::functions

Function irrelevant_argument_ty 

Source 
pub fn irrelevant_argument_ty() -> Expr
Expand description

IrrelevantArgument: a term whose type-theoretic argument is proof-irrelevant