[fstar-club] kremlin question: define struct

[zhiting zhu via fstar-club]

Hi,

I wonder whether there's any way to define a type that would translate to
struct similar to the following form:

typedef struct  {
    int32_t x01;
    struct t* x10;
}
t;

I have tried to use

type t =
       | T: Int32.t -> Buffer.buffer t -> t

But what this translates to is

typedef struct {
     int32_t x01;
     t* x10;
}
t;
which does not work for C.

Thanks,
Zhiting

_______________________________________________
fstar-club mailing list
fstar-club@lists.gforge.inria.fr
https://lists.gforge.inria.fr/mailman/listinfo/fstar-club