Module DeclareUctx

val declare_universe_context : poly:bool -> Univ.ContextSet.t -> unit