include module type of struct include Printable.Std end
val name : unit -> stringval show_group : group -> 'aval to_group : 'a -> 'b optionval arbitrary : unit -> 'aval pretty :
unit ->
[< `Struct of GoblintCil.compinfo * offs | `Type of GoblintCil.typ ] ->
GoblintCil.Pretty.docinclude sig ... end
val to_yojson : t -> [> `String of string ]