minitt::check::expr
pub fn check_sum_type(index: u32, tcs: TCS, constructors: Branch) -> TCM<TCS>
To reuse code that checks if a sum type is well-typed between check_type and check
check_type
check