Module Textual.Module

type decl =
  1. | Global of Global.t
  2. | Struct of Struct.t
  3. | Procdecl of ProcDecl.t
  4. | Proc of ProcDesc.t
type t = {
  1. attrs : Attr.t list;
  2. decls : decl list;
  3. sourcefile : SourceFile.t;
}
val lang : t -> Lang.t option
val pp : F.formatter -> t -> unit