Project

General

Profile

Revision 9c654082 src/tools/stateflow/common/basetypes.ml

View differences:

src/tools/stateflow/common/basetypes.ml
122 122

  
123 123
  val pp_cond : Format.formatter -> t -> unit
124 124
end
125

  
126
  module Condition =
125
  
126
module Condition =
127 127
struct
128 128
  type t =
129 129
    | Quote of base_condition_t
......
155 155
end
156 156

  
157 157
let _ = (module Condition : ConditionType)
158

  
159
module GlobalVarDef =
160
struct
161
  type t = {variable: LustreSpec.var_decl; init_val: LustreSpec.expr}
162
end

Also available in: Unified diff