[−][src]Function minitt::type_check::check_type
pub fn check_type(
index: u32,
(gamma, context): TCS,
expression: Expression
) -> TCM<TCS>
checkT
in Mini-TT.
Check if an expression is a well-typed type expression.
pub fn check_type(
index: u32,
(gamma, context): TCS,
expression: Expression
) -> TCM<TCS>
checkT
in Mini-TT.
Check if an expression is a well-typed type expression.