module Map: sig .. end
sig
end
include Map.S
val dom : 'a As_part.t -> As_part.Set.t
'a As_part.t -> As_part.Set.t