Module Server.Kernel_ast.Ki

module Ki: Server.Data.S_collection  with type t = kinstr

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