module Kernel_function: sig .. end
sig
end
include Datatype.S_with_collections
val id : t -> int
t -> int