module Output: sig .. end
sig
end
module type T = sig .. end
type t = (module Output.T)
(module Output.T)
val same : t -> t -> bool
t -> t -> bool