Module Framework.Sig

module Abstraction : sig ... end
module Combiner : sig ... end
module Reduction : sig ... end