Module Astral_internal.EntailmentSimplifier

val apply_ctx : Context.t -> Context.t