module type Key = sig .. end
sig
end
type t
module Part: sig .. end
val iter : t -> f:(Part.t -> unit) -> unit
t -> f:(Part.t -> unit) -> unit