Module Globals.Functions.KF_Datatype


module KF_Datatype: sig .. end
Should not be used. Used Kernel_function.Datatype instead.

include Project.Datatype.S
val pretty : Format.formatter -> Db_types.kernel_function -> unit
val id : t -> int