functor (Topo : Types.Topology) ->
  functor (Auto : Types.Rule) ->
    functor (Experiment1 : Types.Experiment) ->
      sig val do_measurement : int -> unit val main : unit -> unit end