optlang_enumerator
