Project

General

Profile

Revision 8446bf03 src/tools/stateflow/common/datatype.ml

View differences:

src/tools/stateflow/common/datatype.ml
39 39
  | Junction of junction_name_t * transitions_t
40 40
  | SFFunction of 'prog_t
41 41

  
42
type prog_t = Program of state_name_t * prog_t src_components_t list * (LustreSpec.var_decl * LustreSpec.expr) list
42
type prog_t = Program of state_name_t * prog_t src_components_t list * (Lustre_types.var_decl * Lustre_types.expr) list
43 43

  
44 44
type scope_t = Constant | Input | Local | Output | Parameter
45 45

  

Also available in: Unified diff