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

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

Internal state when lifting prefix-parameters.