Module type Rs.K

Input signature of the functor Rs.Make describing the kind of reactive system.