sig   type localizable =       PStmt of (Cil_types.kernel_function * Cil_types.stmt)     | PLval of         (Cil_types.kernel_function option * Cil_types.kinstr * Cil_types.lval)     | PExp of         (Cil_types.kernel_function option * Cil_types.kinstr * Cil_types.exp)     | PTermLval of         (Cil_types.kernel_function option * Cil_types.kinstr * Property.t *          Cil_types.term_lval)     | PVDecl of (Cil_types.kernel_function option * Cil_types.varinfo)     | PGlobal of Cil_types.global     | PIP of Property.t   module Localizable :     sig       type t = localizable       val ty : t Type.t       val name : string       val descr : t Descr.t       val packed_descr : Structural_descr.pack       val reprs : t list       val equal : t -> t -> bool       val compare : t -> t -> int       val hash : t -> int       val pretty_code : Format.formatter -> t -> unit       val internal_pretty_code :         Type.precedence -> Format.formatter -> t -> unit       val pretty : Format.formatter -> t -> unit       val varname : t -> string       val mem_project : (Project_skeleton.t -> bool) -> t -> bool       val copy : t -> t     end   module Locs :     sig       type state       val create : unit -> Pretty_source.Locs.state       val clear : Pretty_source.Locs.state -> unit     end   val display_source :     Cil_types.global list ->     GSourceView2.source_buffer ->     host:Gtk_helper.host ->     highlighter:(Pretty_source.localizable -> start:int -> stop:int -> unit) ->     selector:(button:int -> Pretty_source.localizable -> unit) ->     Pretty_source.Locs.state -> unit   val hilite : Pretty_source.Locs.state -> unit   val stmt_start : Pretty_source.Locs.state -> Cil_types.stmt -> int   val locate_localizable :     Pretty_source.Locs.state ->     Pretty_source.localizable -> (int * int) option   val kf_of_localizable :     Pretty_source.localizable -> Cil_types.kernel_function option   val ki_of_localizable : Pretty_source.localizable -> Cil_types.kinstr   val varinfo_of_localizable :     Pretty_source.localizable -> Cil_types.varinfo option   val localizable_from_locs :     Pretty_source.Locs.state ->     file:string -> line:int -> Pretty_source.localizable list   val loc_to_localizable :     ?precise_col:bool -> Lexing.position -> Pretty_source.localizable option end