Module Global

module Global: sig .. end

Global objects

type global =

`\|`	`GInp of string * Types.typ * stim_desc`	`(*`	Global input, with type and description of associated stimuli	`*)`
`\|`	`GOutp of string * Types.typ`	`(*`	Global output	`*)`
`\|`	`GShared of string * Types.typ`	`(*`	Shared variable or event	`*)`
`\|`	`GConst of string * Expr.value`	`(*`	Global constant	`*)`
`\|`	`GFun of string * fn_desc`	`(*`	Global function	`*)`

type stim_desc =

`\|`	`Periodic of int * int * int`	`(*`	Period, start time, end time	`*)`
`\|`	`Sporadic of int list`	`(*`	Dates	`*)`
`\|`	`ValueChange of (int * Expr.value) list`	`(*`	(Date,value)s	`*)`

type fn_desc = string list * Expr.t

Args, body

val global_id : global -> string

val string_of_stim : stim_desc -> string