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