[ats-lang-users] Introducing ats type to c in sats file

[Michael M. <mik...@gm...>]

Is it possible to  introduce ats types to c from within a .sats file?

In a .dats files I can for example :typedef int_int_pair = @(int,int)

                                                extern typedef
"int_int_pair" = int_int_pair)

This does not work in .sats with the extern removed. Given that the error is
a syntax error I suspect that this is not possible.

Ultimately I am wanting to return multiple results back from a c function as
a tuple containg an integer result code and pointer to a c struct.