Type Definition LiftState
minitt::check::decl
type LiftState<'a> = (Expression, Expression, TCS<'a>);
Internal state when lifting prefix-parameters.