Project

General

Profile

Revision bbfbc15a src/lustreSpec.ml

View differences:

src/lustreSpec.ml
47 47

  
48 48

  
49 49
type constant =
50
  | Const_bool of bool
51 50
  | Const_int of int
52 51
  | Const_real of Num.num * int * string (* (a, b, c) means a * 10^-b. c is the original string *)
53 52
  | Const_array of constant list

Also available in: Unified diff