Module Kernel_ast

module Kernel_ast: sig .. end

Ast Data


module Position: Data.S  with type t = Filepath.position
module Kf: Data.S  with type t = kernel_function
module Fundec: Data.S  with type t = fundec
module Ki: Data.S  with type t = kinstr
module Stmt: Data.S  with type t = stmt
module Lval: Data.S  with type t = kinstr * lval
module Marker: sig .. end
module KfMarker: Data.S  with type t = kernel_function * Printer_tag.localizable

Ast Printer

module Printer: Printer_tag.S_pp 

Ast Information

module Information: sig .. end

Globals

module Functions: sig .. end