Module Server.Kernel_ast.Kf

module Kf: Server.Data.S_collection  with type t = kernel_function

include Server.Data.S
module Joption: Server.Data.S  with type t = t option
module Jlist: Server.Data.S  with type t = t list
module Jarray: Server.Data.S  with type t = t array