module Load_Rule: functor (Topo : Types.Topology) -> functor (Experiment2 : Experiment2) -> sig .. end
functor (
Topo
:
Types.Topology
) ->
Experiment2
sig
end
val main : unit -> unit
unit -> unit