Module Astral_internal.Z3_backend

val is_available : unit -> bool
module Init () : sig ... end