new code_data_types_DescOption_WithFilter( p, // scala.Function1[booleancode.data.types.DescOption.A] )