Module Astral_internal.Debug_sig

type status := [
  1. | `Sat
  2. | `Unsat
  3. | `Unknown
]
module type DEBUG_OUTPUT = sig ... end
module type EXTENDED_LOGGER = sig ... end