Module Astral_internal.Antiprenexing

val partition : SL.Variable.t -> SL.t list -> SL.t list * SL.t list
val push_stars : SL.Variable.t list -> SL.t list -> SL.t
val apply_forall : SL.Variable.t list -> SL.t -> SL.t
val apply_exists : SL.Variable.t list -> SL.t -> SL.t
val apply : SL.t -> SL.t