array_end

open fun array_end(): Encoder