Module Astral_internal.SL_quantifiers

val apply : 'a -> 'b