Up
Next
Module
Reactive
module
Reactive:
sig
..
end
The definition of a reactive system.
module type
REACTIVE_SYSTEM_TYPE
=
sig
..
end