sig
type global =
GInp of string * Types.typ * Global.stim_desc
| GOutp of string * Types.typ
| GShared of string * Types.typ
| GConst of string * Expr.value
| GFun of string * Global.fn_desc
and stim_desc =
Periodic of int * int * int
| Sporadic of int list
| ValueChange of (int * Expr.value) list
and fn_desc = string list * Expr.t
val global_id : Global.global -> string
val string_of_stim : Global.stim_desc -> string
end