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