Project

General

Profile

Revision 8f1c7e91 src/types.ml

View differences:

src/types.ml
176 176
 | Tstatic (d, _) -> Some d
177 177
 | _              -> None
178 178

  
179
let is_clock_type ty =
180
 match (repr ty).tdesc with
181
 | Tclock _ -> true
182
 | _        -> false
183

  
179 184
let rec is_dimension_type ty =
180 185
 match (repr ty).tdesc with
181 186
 | Tint

Also available in: Unified diff