include module type of struct include Printable.Std end
val arbitrary : unit -> 'aval equal : t -> t -> Ppx_deriving_runtime.boolval compare : t -> t -> Ppx_deriving_runtime.intval name : unit -> stringval pretty : unit -> t -> GoblintCil.Pretty.docinclude sig ... end
val printXml : 'a BatInnerIO.output -> t -> unitval to_yojson : t -> [> `String of string ]