alt-ergo-lib
AltErgoLib.Theory
module type S = sig ... end
module Main_Default : S
module Main_Empty : S