module Wprop:sig
..end
module WP:State_builder.Ref
(
Datatype.Unit
)
(
sig
val name :string
val dependencies :State.t list
val default :unit -> unit
end
)
type
property =
| |
Later of |
| |
Proxy of |
module type Info =sig
..end
module type Indexed =sig
..end
module type Indexed2 =sig
..end
module Indexed:
module Indexed2: