Module `DeclareUctx`

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