Astral_internal.Simplifier
val simplify : ?dont_care:'a list -> SL.t -> SL.t
val simplify_ctx : Context.t -> Context.t