Type Definition LiftState
minitt::check::decl
type LiftState<'a> = (Expression, Expression, TCS<'a>);