Module Kernel_function.Set


module Set: sig .. end
Set of kernel functions.

include Ptset.S
module Datatype: Project.Datatype.S  with type t = t
Datatype corresponding to a set of kernel functions.
val pretty : Format.formatter -> Kernel_function.t -> unit
Pretty print a set of kernel functions.