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