Module Cimula

module Cimula: sig .. end

The main module, from where the whole process is launched.

module Main: functor (Topo : Types.Topology) -> functor (Auto : Types.Rule) -> functor (Experiment1 : Types.Experiment) -> sig .. end

Launches the provided Experiment

module type Experiment2 = functor (Auto : Types.Rule) -> Types.Experiment

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

module type Experiment3 = functor (Synchro : Types.Synchronism) -> Experiment2

module Load_Synchronism: functor (Topo : Types.Topology) -> functor (Experiment3 : Experiment3) -> sig .. end

module Load_Experiment: functor (Topo : Types.Topology) -> sig .. end

module Load_Meta_Topology: functor (Topo : Types.Topology) -> sig .. end

module Unit: sig .. end

module Load_Topology: sig .. end