| FStructPointer of string
| FVoidPointer
| FAnonListHeadPointer
- | FListHeadPointer of string
+ | FListHeadPointer of (string * string) option
| FInteger
| FString of int
| FStructPointer struct_name -> sprintf "struct %s *" struct_name
| FVoidPointer -> "void *"
| FAnonListHeadPointer -> "struct list_head *"
- | FListHeadPointer struct_name ->
- sprintf "struct /* %s */ list_head *" struct_name
+ | FListHeadPointer None ->
+ sprintf "struct /* self */ list_head *"
+ | FListHeadPointer (Some (struct_name, field_name)) ->
+ sprintf "struct /* to %s.%s */ list_head *" struct_name field_name
| FInteger -> "int"
| FString width -> sprintf "char[%d]" width