ordering_term_real

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