Astral_internal.AggresiveSimplifier
module Logger : Logger_sig.LOGGER
val get_roots : SL.t -> SL.Term.t list
TODO: implement general way to check wether predicate is guaranteed to be non-empty.
val apply : SL.t -> SL.t
val apply_ctx : Context.t -> Context.t