sig
  module Make : functor (A : Model.S-> sig val control : unit -> unit end
end