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