module KF_Datatype: sig .. end
sig
end
Kernel_function.Datatype
include Project.Datatype.S
val pretty : Format.formatter -> Db_types.kernel_function -> unit
Format.formatter -> Db_types.kernel_function -> unit
val id : t -> int
t -> int