Module AltErgoLib.Frontend

module type S = sig ... end
module Make : functor (SAT : Sat_solver_sig.S) -> S with type sat_env = SAT.t