| FVoidPointer (** A [void*] pointer. *)
| FAnonListHeadPointer (** A pointer to an unknown
[list_head]. *)
- | FListHeadPointer of string (** A pointer to a [list_head] in a
- named struct. *)
+ | FListHeadPointer of (string * string) option
+ (** A pointer to a [list_head]. If the value is not [None] then
+ this relates to another named struct/field, else it relates
+ to this struct/field. *)
| FInteger (** An integer. *)
| FString of int (** A char array of given width. *)
(** Type of a kernel field. *)