Theory (alt-ergo-lib.AltErgoLib.Theory)

module type S = sig ... end

module Main_Default : S

module Main_Empty : S