Function minitt::check::check_contextual

pub fn check_contextual(tcs: TCS, expression: Expression) -> TCM<TCS>

For REPL: check an expression under an existing context