Module Kernel_ast

module Kernel_ast: sig .. end

Ast Data

module Kf: Data.S  with type t = kernel_function

module Ki: Data.S  with type t = kinstr

module Stmt: Data.S  with type t = stmt

module Marker: sig .. end

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

Ast Printer

module Printer: Printer_tag.S_pp

Globals

module Functions: sig .. end