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