limiting_term_real

open fun limiting_term_real(builder_: PsiBuilder, level_: Int): Boolean