let
array_format (typ_elt: format) : format
= e_app1 mk_array_format typ_elt