module type Info = sig .. end
sig
end
type key
val size : int
int
val kind : State.kind
State.kind
val dependencies : State.t list
State.t list
val state_name : key -> string
key -> string
val state_proxy : key -> Property.t -> (string * Property.t list) option
key -> Property.t -> (string * Property.t list) option