sig
  module BoolInvGen : Out
  module IntInvGen : Out
  module RealInvGen : Out
end