Patdiff_kernel__.Html_output_intf
module type Mtime = sig ... end
module type Html_output = sig ... end