[−][src]Function minitt::type_check::check_simple_declaration
pub fn check_simple_declaration(
index: u32,
(gamma, context): 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.