module Kernel_ast: sig .. end
sig
end
module PP: Printer_tag.S_pp
Printer_tag.S_pp
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