Astral_internal.IncrementalUnfolding
val used_lookahead : bool Stdlib.ref
module Make (Encoding : Translation_sig.ENCODING) (Solver : Backend_sig.BACKEND) : sig ... end