[][src]Function minitt::check::decl::check_simple_declaration

pub fn check_simple_declaration(
    index: u32,
    tcs: TCS,
    pattern: Pattern,
    signature: Expression,
    body: Expression
) -> TCM<Gamma>

Extracted from checkD in Mini-TT.
This part deals with non-recursive declarations, but without prefixed parameters.