module Wprop:Memoized state for keysig
..end
module type Actor =sig
..end
module Updater:
module WP:State_builder.Ref
(
Datatype.Unit
)
(
sig
end
)
module type Info =sig
..end
module type Indexed =sig
..end
val kindex : int Pervasives.ref
module Indexed:
module type Indexed2 =sig
..end
module Indexed2: