[−][src]Function minitt::type_check::check_contextual
pub fn check_contextual(tcs: TCS, expression: Expression) -> TCM<TCS>
For REPL: check an expression under an existing context
pub fn check_contextual(tcs: TCS, expression: Expression) -> TCM<TCS>
For REPL: check an expression under an existing context