Function fungi_lang::expand::expand_type_rec[][src]

pub fn expand_type_rec(ctx: &Ctx, a: Rc<Type>) -> Rc<Type>