copy_option_header_real

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