*)
group "array";
let c = const_array i32_type [| three; four |] in
ignore (define_global "Const07" c m);
insist ((array_type i32_type 2) = (type_of c));
*)
group "array";
let c = const_array i32_type [| three; four |] in
ignore (define_global "Const07" c m);
insist ((array_type i32_type 2) = (type_of c));