Kernel_ast (frama-c-server.Server.Kernel

module Position : Data.S with type t = Frama_c_kernel.Filepath.position

module Kf : Data.S with type t = Frama_c_kernel.Cil_types.kernel_function

module Fundec : Data.S with type t = Frama_c_kernel.Cil_types.fundec

module Ki : Data.S with type t = Frama_c_kernel.Cil_types.kinstr

module Stmt : Data.S with type t = Frama_c_kernel.Cil_types.stmt

module Lval : 
  Data.S
    with type t =
           Frama_c_kernel.Cil_types.kinstr * Frama_c_kernel.Cil_types.lval

module Marker : sig ... end

module KfMarker : 
  Data.S
    with type t =
           Frama_c_kernel.Cil_types.kernel_function
           * Frama_c_kernel.Printer_tag.localizable

Ast Printer

module Printer : Frama_c_kernel.Printer_tag.S_pp

Ast Information

module Information : sig ... end

Globals

module Functions : sig ... end