How to use array as a field in a struct?

Currently, one can form a flat record type as follows:

typedef point = @{ xyz= @[double][3] }

This type corresponds a struct in C: struct { double xyz[3] ; }

Unfortunately, support for translating ‘point’ into a C-struct is not yet
available
as of now.

So for now, one can use the following approach to get a version of 'point’
in ATS:

%{^
typedef
struct { double xyz[3] ; } point_t ;
%} // end of [%{^]

typedef point =
$extype_struct “point_t” of { xyz= @[double][3] }

Please follow the link below to see a working example:

Cheers!