Astral_internal.LoggerState
val session : string Stdlib.ref
Toplevel directory used only when Astral is used as a library.
val query : string Stdlib.ref
Directory for each check-sat command passed to Astral.
val sub_query : string Stdlib.ref
Directory for each sub-query created internally by Astral.
val query_counter : int Stdlib.ref
val sub_query_counter : int Stdlib.ref
val current_query : unit -> int
val current_sub_query : unit -> int
val init : unit -> unit
val next_query : unit -> unit
val next_sub_query : unit -> unit
val session_path : ?suffix:string -> Stdlib.String.t -> string
val query_path : ?suffix:string -> Stdlib.String.t -> string
val sub_query_path : ?suffix:string -> Stdlib.String.t -> string