Project

General

Profile

Revision e8f55c25 src/lustre_types.ml

View differences:

src/lustre_types.ml
48 48

  
49 49
type constant =
50 50
  | Const_int of int
51
  | Const_real of Num.num * int * string (* (a, b, c) means a * 10^-b. c is the original string *)
51
  | Const_real of Real.t
52 52
  | Const_array of constant list
53 53
  | Const_tag of label
54 54
  | Const_string of string (* used only for annotations *)
......
254 254
  | LocalContract of contract_desc
255 255
  | TopContract of top_decl list
256 256

  
257
let tag_true = "true"
258
let tag_false = "false"
257 259

  
258 260

  
259 261
(* Local Variables: *)

Also available in: Unified diff