sig
  val name : string
  val kind : State.kind
  val dependencies : State.t list
end