sig val build_dot : string -> Kernel_function.t -> unit end