Module UninitDomain.Summary

type t = Domain.t prepost
val pp : F.formatter -> Domain.t prepost -> unit