Function fungi_lang::decide::equiv::decide_type_equiv

source · 
pub fn decide_type_equiv(ctx: &RelCtx, a: &Type, b: &Type, k: &Kind) -> TypeDec
Expand description

Decide if two type terms are equivalent under the given context