Module Reactive


module Reactive: sig .. end
The definition of a reactive system.

module type REACTIVE_SYSTEM_TYPE = sig .. end