module Source_viewer:sig
..end
The Frama-C source viewer. That is the buffer where Frama-C puts its pretty-printed AST.
val make : ?name:string ->
packing:(GObj.widget -> unit) -> unit -> GSourceView.source_view
Build a new source viewer.
val buffer : unit -> GSourceView.source_buffer