module Kernel_ast: sig .. end
sig
end
module Kf: Data.S_collection with type t = kernel_function
Data.S_collection
with type t = kernel_function
module Ki: Data.S_collection with type t = kinstr
with type t = kinstr
module Stmt: Data.S_collection with type t = stmt
with type t = stmt
module Marker: sig .. end
module Printer: Printer_tag.S_pp
Printer_tag.S_pp