Type Definition minitt::check::decl::LiftState

type LiftState<'a> = (Expression, Expression, TCS<'a>);