[−][src]Function minitt::check::decl::check_recursive_declaration
pub fn check_recursive_declaration(
index: u32,
tcs: TCS,
declaration: Declaration
) -> TCM<Gamma>
Extracted from checkD
in Mini-TT.
This part deals with recursive declarations, but without prefixed parameters.