sig
  module type S =
    sig val certificate : Ast.t_system -> Node.t list -> unit end
  module AltErgo : S
  module Why3 : S
  module Selected : S
end