strict_real

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